I've just merged the new watch API into the master branch of Irmin and I've updated the online docs.
Feedback is welcome, the new functions are described on the related pull request [1]. Best, Thomas [1] https://github.com/mirage/irmin/pull/187 _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
