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? :)


Reply via email to