On Fri, Apr 17 2020, Christopher Zimmermann <chr...@openbsd.org> wrote: > Hi, > > I initially ported this only because I did not realize that this project > had been integrated into devel/dune. This has no use anymore and can be > removed. OK?
ok jca@ (please also add an entry in devel/quirks) -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
