Erik Martin-Dorel

Hi! > Woops, I am really sorry for my lack of reply, I did not see the previous mention. No worries, @nobrakal ! > I wonder if anyone actually uses...

Hi @AltGr, thanks a lot for your messages!, and for this very nice work :pray: > Having rushed to have this ready back in April, I have to say I...

Hi @fpottier, that's an annoying problem indeed. FWIW, I recently identified another `Stack_overflow` problem after I merged learn-ocaml master in the **learn-ocaml-editor** branch (deployed at https://pfitaxel.github.io/pfitaxel-demo/): * the source of...

Hi @EmileRolley, thanks for checking this! Actually I cannot reproduce this error. Unless I do all steps you mentioned **and**: * stop the server with ^C, * remove the `sync`...

Hi @EmileRolley, yes, that's what I was meaning to say: logging-out and using a (new) token adapted to the new server should solve the issue, and I'm not surprised that...

Sorry, I realize we can actually forget about the translation here: as the English message was not surrounded with [%i" ... "]. So that would just be a one-liner PR...

Thanks @gasche for the suggestion! I agree that this is something that could be improved (and shouldn't be too difficult to implement at first sight (but I don't assign myself...

TODO ``` * **web-app:** Ask token (not secret) when opening exercise url ([#489](https://github.com/ocaml-sf/learn-ocaml/issues/489)) ([b91050e](https://github.com/ocaml-sf/learn-ocaml/commit/b91050e1caaf46fb6c3abb6f3120dd784af701f7)), closes [#488](https://github.com/ocaml-sf/learn-ocaml/issues/488) ```

Hi @readyready15728, sorry for late reply, and thanks a lot for your thourough bug report! My understanding is that: * learn-ocaml should be compatible with any point release of `4.12.*`...

If no one objects, I'll integrate #439 and release 0.13.1 tonight. Feel free to open another issue meanwhile if you see other usability issues.