Re: [MirageOS-devel] [ANN] mirage 2.9.0

[Thomas Leonard <talex5@xxxxxxxxx>]

On 29 April 2016 at 15:04, Mindy <mindy@xxxxxxxxxxxxxxxxxxx> 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
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel