Due to an administrative error on Saturday and Sunday 2025-06-14-2025-06-15 an old version of Gitlab repositories was used. All changes made on these two days were migrated to the up to date version. If any commit should be missing you can either push your local copy or open up a ticket. I sincerely apologize for any inconvenience caused by this.
Repository has no tags yet
Use git tag command to add a new one:
git tag -a v1.4 -m 'version 1.4'
