On Tue, Nov 03, 2020 at 03:31:42PM +0100, Samuel Thibault wrote: > Ping? > > This is a change that should got into 5.10, in the meanwhile the bug > (appeared in 5.8) is very inconvenient for users.
It's in my to-apply queue, sorry, it's really long at the moment. Don't worry, it's not lost... thanks, greg k-h