-
Notifications
You must be signed in to change notification settings - Fork 413
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
fix byte_for_jsoo, fix #5282 #5297
Conversation
@emillon, can you check this fixes your issue. |
cc @nojb |
@hhugo thanks for the ping, I will try to try this out today or tomorrow. |
Yes, that works! thanks! |
Does anyone know the expected use-case for |
No idea. For sure @jeremiedimino knows, but he is on holidays until 2022.
Following this confirmation, is there anything left to check for this PR @hhugo? |
I think this PR should be merged because it fixes a regression. |
The original PR to add this flag doesn't state a reason (#2864), however the timing seems to correspond with the time we were trying to use the upstream Dune rules to build Jane Street codebase. So it's well possible we added this simply because we needed it to build Jane Street code base. |
Signed-off-by: Hugo Heuzard <hugo.heuzard@gmail.com>
Signed-off-by: Hugo Heuzard <hugo.heuzard@gmail.com>
I've rebased the branch and signed the commit, it should be ready to be merged. |
No description provided.