On 04/29/2016 03:01 PM, Thomas Gazagnaire wrote:
I’m happy to announce a new release of the mirage command-line tool, which
improves the tooling around logging (a 4 years(!!) old discussion[1]).
This will soon be available in opam:
https://github.com/ocaml/opam-repository/pull/6352
This is amazing! Thanks so much for all your hard work (that's a
you-plural, for @samoht, @talex5, @drup, @dbuenzli, and everyone else
who's worked on this).
I'm looking forward to replacing a lot of (* TODO: log this *) comments
in my current working branch of mirage-tcpip with more useful messages!
-Mindy
_______________________________________________
MirageOS-devel mailing list
[email protected]
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
