Closed giordano closed 1 year ago
v1.3 or v1.4? We can do v1.3 now, and v1.4 after #108 is completed, to have the full glossary support in v1.2 -> v1.4 transition.
NOTE: need to update release date and maybe version number in ChangeLog file before merging.
v1.3 or v1.4? We can do v1.3 now, and v1.4 after #108 is completed, to have the full glossary support in v1.2 -> v1.4 transition.
NOTE: need to update release date and maybe version number in ChangeLog file before merging.