Closed metanivek closed 1 year ago
This is a forward port of https://github.com/mirage/irmin/pull/2200. It is already released in 3.6.1, so no need to mention in changes.
Closes #2171
This is a forward port of https://github.com/mirage/irmin/pull/2200. It is already released in 3.6.1, so no need to mention in changes.
Closes #2171