On Mon, 7 Sep 2015, Andreas Schwab wrote: > > Does anyone else have anything to add? Otherwise with 2.22 out I'd like > > to push the fix to our trunk now. > > Please go ahead. Applied now, thanks for patience. Maciej