On 29 April 2016 at 15:04, Mindy <[email protected]> wrote: > 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!
Yes, but not just yet please - I'm rebasing my logging patches at the moment... -- Dr Thomas Leonard http://roscidus.com/blog/ GPG: DA98 25AE CAD0 8975 7CDA BD8E 0713 3F96 CA74 D8BA _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
