Actions
Bug #421
closedFix minor issues with attributes and documentation
Description
Hi Anthony,
could you review these 3 commits (`148fe305`, `0e955c02`, `e01b8f74`) and, if you agree with them, merge them into the master, please?
You can find them at https://redmine.laas.fr/projects/phynt/repository and they are dated today (Aug. 22nd 2024).
Thanks,
Gianluca
Actions