On Sunday 20 December 2015 16:20:52 Sean McGovern wrote: > It is considered public API, No, it is not. That looks like a regression in 315f8e47d9503a94bd3955e581ece46f7c175971. -- Rémi Denis-Courmont http://www.remlab.net/