Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jgit-dev] Avoiding unnecessary use of "final"

Martin Fick wrote:
On Tuesday, May 15, 2018 02:14:49 PM Jonathan Nieder wrote:
 
> If I don't hear anything in the next day, I'll assume
> that's because everyone is enthusiastic about this coding
> standards change and will update the wiki accordingly. :)

I like them, :)

Thanks for the kind words.

Done, though the change appears to be in a moderation queue.

Jonathan

Back to the top