On 20/04/15 18:05, Sven Eckelmann wrote:
Ok, then maybe Antonio could try to put it in the same pull request as Markus Pargmann's stuff or his own cleanup patches. At least the patch would have some nice companions which don't look too different.
Yeah, I will probably do that.
Thanks,