On Wed, Jan 24, 2018 at 10:58:57AM +0100, Tom de Vries wrote: > I realize this is not really a stage4 patch, so: OK for stage1?
Ok. Jakub
On Wed, Jan 24, 2018 at 10:58:57AM +0100, Tom de Vries wrote: > I realize this is not really a stage4 patch, so: OK for stage1?
Ok. Jakub