This repository was archived by the owner on Dec 2, 2024. It is now read-only.

Fix min Ada bug #237. #246

Merged

sjoerdvisscher merged 1 commit into main from sv/minAdaBugBis

Jan 13, 2022

Contributor

sjoerdvisscher commented Jan 13, 2022 •

edited

Loading

Fixes #237.

Very similar to the previous min Ada bug, just in a different place.

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          Fix min Ada bug.

dcd3606

sjoerdvisscher requested a review from koslambrou

January 13, 2022 14:28

koslambrou approved these changes

View reviewed changes

sjoerdvisscher changed the title ~~Fix min Ada bug.~~ Fix min Ada bug #237.

sjoerdvisscher merged commit abd46fe into main

sjoerdvisscher deleted the sv/minAdaBugBis branch

January 13, 2022 15:31

ghost commented Jan 14, 2022

@sjoerdvisscher Thanks!

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

Labels

None yet