On 2020-04-09 19:43:34 [+0800], Paul Wise wrote: > On Thu, 9 Apr 2020 11:45:49 +0200 Sebastian Andrzej Siewior wrote: > > > Can this be closed? > > Since the patch and feature hasn't been merged, I don't think so.
What about now given that #956452 has been closed? Sebastian
