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.

Sign up for GitHub

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

Jump to bottom

Fix various JET errors #2271

Merged

odow merged 2 commits into master from od/jet3

Sep 19, 2023

Member

odow commented Sep 19, 2023

x-ref #2268

This gets things down to ═════ 127 possible errors found ═════

odow added 2 commits

September 19, 2023 16:40


          Fix various JET errors

1eecb32


          More updates

32e934f

Member Author

odow commented Sep 19, 2023

And now ═════ 119 possible errors found ═════

odow merged commit f0096e5 into master

16 checks passed

odow deleted the od/jet3 branch

September 19, 2023 20:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet