Hannes Mehnert 8c7562ea16 avoid rresult, use result instead		2022-11-04 10:42:30 +01:00
..
dune
mgit.ml	avoid rresult, use result instead	2022-11-04 10:42:30 +01:00