Re: [jgit-dev] Avoiding unnecessary use of "final"

[Matthias Sohn <matthias.sohn@xxxxxxxxx>]

On Thu, May 17, 2018 at 2:41 AM, Jonathan Nieder <jrn@xxxxxxxxxx> wrote:

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.

ask webmaster@xxxxxxxxxxx if he can fix this, as a committer you should be able

to change the wiki without moderation. Don't know where this is configured.

-Matthias