Re: [MirageOS-devel] No MirageOS call today

2016-09-21 Thread Daniel Bünzli
On Wednesday 21 September 2016 at 17:43, Daniel Bünzli wrote: > To be precise these documentation sets are generated from ocamldoc via the > mli files and Maxence Guedson Sorry that should have been Maxence Guesdon. ___ MirageOS-devel mailing

Re: [MirageOS-devel] No MirageOS call today

2016-09-21 Thread Daniel Bünzli
On Wednesday 21 September 2016 at 17:29, Anil Madhavapeddy wrote: > One major update thanks to a big effort from Thomas Refis, Daniel Bunzli, Leo > White, David Sheets and several others over the years (apologies if I've > missed you!) is that we now have http://docs.mirage.io/ updating and

[MirageOS-devel] No MirageOS call today

2016-09-21 Thread Thomas Gazagnaire
Hi all, given that most of the team is travelling to Japan (for ICFP and the OCaml workshop) this week, I propose to skip the fortnightly catchup. Please feel free to use the mailing list if you want to catch up anyway :p Best, Thomas signature.asc Description: Message signed with OpenPGP