Jakub Jelinek Wed, 24 May 2017 04:59:18 -0700
On Wed, May 24, 2017 at 01:34:50PM +0200, Thomas Schwinge wrote: > Thus OK for trunk, as posted?
Ok. Jakub