19 Jul
2023
19 Jul
'23
7:55 p.m.
On Wed Jul 19 19:20:03 2023 +0000, Jeffrey Smith wrote:
_What_ is going to be removed? And how does that relate to removing duplicate comments now?
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.