[Python-modules-team] Bug#872285: header file is no issue

[Salvo Tomaselli]

The header file is not part of a library; it's just internal. So there
is no issue at all in changing it like that.


-- 
Salvo Tomaselli

"Io non mi sento obbligato a credere che lo stesso Dio che ci ha dotato di
senso, ragione ed intelletto intendesse che noi ne facessimo a meno."
                -- Galileo Galilei

http://ltworf.github.io/ltworf/