On Tue Oct 10 21:17:23 2023 +0000, Giovanni Mascellani wrote:
Similarly to the first commit, I don't think the comment here is particularly useful, given that our task is just to reproduce the native behavior.
As a side note, when writing block comments, can you please configure your editor to match the usual style, with an asterisk on every line?