Thank you Pavel!
Pushed.
On 3/27/20 5:09 AM, Pavel Rappo wrote:
140 a successful * query to a constant will always remain successful.
Made me pause and read a bit of the surrounding context
to make sure there's no "*" type of query.
Looks good to me. Thanks for doing this.
-Pavel
On
140 a successful * query to a constant will always remain successful.
Made me pause and read a bit of the surrounding context
to make sure there's no "*" type of query.
Looks good to me. Thanks for doing this.
-Pavel
> On 27 Mar 2020, at 10:26, Ivan Gerasimov wrote:
>
> Hello!
>
> This
Hello!
This is a javadoc-only fix.
There are a few changes that will actually be visible (for example [1],
[2]), but the vast majority of changes are to remove redundant empty
lines, correct indentation, or otherwise restore harmony.
Would you please help review this rather technical fix?