On Fri, 2018-11-09 at 18:35 +0100, Lukáš Doktor wrote: > The fastest way would be to send a PR to > master. I will see if I can carve time for that. > Slightly slower could be to raise an issue on github, https://github.com/avocado-framework/avocado/issues/2908 Cheers, b.