Jakub Wilk dijo [Mon, May 09, 2016 at 09:16:43PM +0200]: > >Oh, right! > > > >Fixed it in the repository; > > Shall we close this bug? It can be closed. It could also be made into a more general "be less picky" wishlist. Your call :)