> On 13 Sep 2016, at 11:35, Anil Madhavapeddy <[email protected]> wrote:
> 
> On 13 Sep 2016, at 10:31, Michael Grünewald <[email protected]> wrote:
>> 
>> Could we relax a bit?  It’s only Tuesday. ;)
> 
> I'm perfectly relaxed, thank you.

All right, I somehow misinterpreted the tone of your message, as it
often happens in written communication. Sorry for the noise! :)
_______________________________________________
opam-devel mailing list
[email protected]
http://lists.ocaml.org/listinfo/opam-devel

Reply via email to