> On Mar 13, 2017, at 11:47 AM, Okan Demirmen <o...@demirmen.com> wrote: > > Hi, > > Quick poll - anyone want to take this? It's dead upstream for the past > few years and I have no interest in it either, especially the way > ocaml is moving. > > Removing is the idea otherwise. > > Thanks, > Okan >
removing sounds like a good idea, as you say "especially given the way ocaml is moving". surprised ken hasn't already axed this one yet.