On Tue, Jun 11, 2019 at 14:38:31 +0200, Andrea Bolognani wrote:
On Tue, 2019-06-11 at 14:20 +0200, Peter Krempa wrote:
> On Tue, Jun 11, 2019 at 13:52:23 +0200, Andrea Bolognani wrote:
> > On Mon, 2019-05-27 at 15:06 +0200, Andrea Bolognani wrote:
> > *** PING HERE ***
>
> I think you can push it under the "nobody cares" rule.
That's a weird way to spell "trivial" O:-)
Which, looking at the patch again, is pretty clear it qualifies for,
so I've followed your suggestion and pushed it.
Thank you for your not-quite-a-review! ;)
Yeah, I'm sorry for the spelling of "trivial" but in cases of these
subprojects which don't get as much review it should be okay to use
one's own judgement to push the patch even for less trivial changes.
Basically treat a certain amount of silence as "no complaints".