On 2016-09-14, Stefan Bodewig wrote:

> so we could simply suppress the warning.

done.

Stefan

Reply via email to