Skip to content

Task: revert 82cea09 somehow? #606

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
erikmd opened this issue Feb 7, 2025 · 0 comments
Open

Task: revert 82cea09 somehow? #606

erikmd opened this issue Feb 7, 2025 · 0 comments
Labels
kind: enhancement Enhancement to an existing user-facing feature.

Comments

@erikmd
Copy link
Member

erikmd commented Feb 7, 2025

Task: revert 82cea09 somehow?

Related user(s):

@AltGr

Related issue(s) or PR(s):

Related project scope(s):

build

Bug description:

@AltGr I didn't check the details, but it happens the upstream fix you had opened has been merged:

To reproduce:

No response

Expected behavior:

No response

learn-ocaml --version

master

git describe --long --always --abbrev=40 --tags

No response

What OS do you use?

GNU/Linux

What OS version/distribution do you use?

Debian

What browser(s) do you use with learn-ocaml?

Firefox

What browser(s) version did you used to reproduce the issue?

No response

Screenshots (if need be):

No response

Additional context:

No response

@erikmd erikmd added kind: bug kind: enhancement Enhancement to an existing user-facing feature. and removed kind: bug labels Feb 7, 2025
@erikmd erikmd changed the title Task: revert 82cea091b6af6e4d961b86607ae264d4f7e44ce2 somehow? Task: revert 82cea09 somehow? Feb 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: enhancement Enhancement to an existing user-facing feature.
Projects
None yet
Development

No branches or pull requests

1 participant