Tags · staging / dune-logging · GitLab

Tags give the ability to mark specific points in history as being important

v2.7.1

9737101b · Merge branch 'fix-fmt-installation-path' into 'master' · Feb 10, 2021
```
release 2.7.1
```
Download source code

zip tar.gz tar.bz2 tar
v2.7.0

f0f07d2f · Merge branch 'master' into releases/2.7 · Feb 10, 2021
```
release 2.7.0
```
Download source code

zip tar.gz tar.bz2 tar