Re: [PATCH] Add ob-doc-ocaml.org to Worg

[Bastien Guerry]

Hi Thomas,

"Thomas S. Dye" <tsd@tsdye.online> writes:

> I'm unable to push directly to Worg.

I see this commit is already in:
https://git.sr.ht/~bzg/worg/commit/5d81e1f38d

Thanks!

-- 
 Bastien