On Tue 14 Apr 2020 05:31:26 PM CEST, Kevin Wolf <kw...@redhat.com> wrote:
> I don't think this is critical for 5.0, so if I make a pull request > for other reasons, I'll include it, but if you agree, I won't send one > just for this patch. Sure, no problem. Berto
