You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Yeah, sorry about that - AO_MAKER and a bunch of other stuff have been renamed/removed in the latest revision. I will make sure to update this next week.
I am trying to build the Irmin-redis backend for Irmin 1.4.0 trunk version. It is failing with an error
It seems AO_MAKER is modified in src/irmin/irmin.mli
The text was updated successfully, but these errors were encountered: