Merge master into dev - Githubissues

Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

GNU General Public License v3.0

34 stars 82 forks source link

Merge master into dev #856

Closed jadeandtea closed 2 months ago

jadeandtea commented 2 months ago

Description

The dev branch is behind after the summer 2024 semester commit.

Type of change

[X] Bug fix (non-breaking change which fixes an issue)
[ ] New feature (non-breaking change which adds functionality)
[ ] Enhancement (improvement to an already existing feature)
[ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)

How Has This Been Tested?

Master branch is stable.

Checklist:

[ ] I have performed a self-review of my code
[ ] I have commented my code, particularly in hard-to-understand areas
[ ] I have made corresponding changes to the documentation (if applicable)
[ ] My changes generate no new warnings
[ ] I have added tests that prove my fix is effective or that my feature works
[ ] New and existing unit tests pass locally with my changes

jadeandtea commented 2 months ago

Going to close this merge and attempt to revert the merge directly into master, then recommit into dev and merge into master.