Comment # 23 on bug 1074711 from Stasiek Michalski

(In reply to Benjamin Greiner from comment #21)
> My PR (#18)is only 2 hours old. Maybe you confuse it with #14.

Yeah, I mean #14

> If nobody checks the issues and PRs there, why maintain a github repository
> at all? Also, what is this bugtracker for, when you have to contact
> maintainers manually?

There are a lot of PRs and issues on gh that sit there for years before
somebody checks that stuff unfortunately. Reminding maintainers is the only way
to actually get something going.