Workaround for name clash caused by riot at minttea's site?

[glyh]

See this leostera/riot#19.
I run into this when using both mintea and janestreet's core.

[leostera]

Thanks for reporting @glyh! We'll bump this on the Riot side.

[ericlovesmath]

I noticed that the fix was done on Riot 0.0.9 and minttea's dune-project notes this new version, but not the *.opam files which prevents minttea from building on projects with Core. Is there something preventing this version bump from happening?

[leostera]

Hi @ericlovesmath! I'm not working on this anymore but you're welcome to submit a PR and I'll get it merged.

[leostera]

I think this one did that and found a bug tho: #59