| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-12-07 | Fix previous commit | condy |
| 2022-12-07 | Fix build failure | condy |
| 2022-06-17 | Fix for dune incompatible change | condy |
| 2021-09-24 | Upgrade to 1.8.2 | condy |
| 2020-02-11 | patch correctly | condy |
| 2020-02-09 | 1.8.1 release | condy |