Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rm trailing semicolons (unnecessary) (#1023)
all changes were extracted from https://github.com/gasche/batteries-included.git#dune-preliminary-warnings
- Loading branch information