Version 7.1.2

Bug fixes:

• In case there is a Public function and it returns an empty vector, nothing should be listed as public, but that was not the case.
• ADOC_Doc is not case sensitive anymore: adoc_doc and ADOC_DOC etc are now found as well

To be consumed as a Tatin package from https://tatin.dev