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"

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

Back to the top