22 Jul
2023
22 Jul
'23
3:55 a.m.
On Wed Jul 19 19:55:17 2023 +0000, Davide Beatrici wrote:
The function declaration. For that reason I believe it's not worth removing the comment, as it's only going to increase the amount of changes in the commit/MR.
!3380