Commit 5c5f9200 authored 2 years ago by François Bobot

Merge branch 'fixes' into 'master'

Update_dolmen and fix #55

Closes #55

See merge request adacore/colibri!34

No related branches found

No related tags found

1 merge request!34Update_dolmen and fix #55

Pipeline #44226 failed 2 years ago