On 31.12.2018 00:07, Branko Čibej wrote: > Summary: I propose to create one or possibly several new public header > files that will be used by both the C and C++ public APIs.
r1850344 is the result. Thanks again for the suggestions, I think this is much cleaner than what I started with. -- Brane
