Core dev#186

Closed

djb-rwth wants to merge 11 commits intodevfrom

Commits on Dec 7, 2025

Commits on Dec 10, 2025

v.1.07.5_RC6
djb-rwth
committed

Commits on Dec 11, 2025

Revert to current formatting in dev.
djb-rwth
committed

Commits on Dec 16, 2025

Merge branch 'dev' of https://github.com/IUPAC-InChI/InChI into core_dev
djb-rwth
committed

Commits on Dec 18, 2025

Commits on Dec 19, 2025

Assert successful InChI computation
JanCBrammer
committed
Merge branch 'dev' of https://github.com/IUPAC-InChI/InChI into core_dev
djb-rwth
committed
Merge branch 'core_dev' of https://github.com/IUPAC-InChI/InChI into core_dev
djb-rwth
committed