On 2019-04-25 09:16:50 +0900, Michael Paquier wrote:> Perhaps you should add a TODO item for that?
Just so it's guaranteed that it'll never happen? :)