On Fri Mar 15 16:43:10 2024 +0000, Giovanni Mascellani wrote:
Is the commit message for Zeb's commit intended?
Yes, it explains the rationale for the next commit. I am not sure if that is the best format to add a comment in other person's commit though.