Skip to content

Various code fixes and simplifications - #3700

Merged
garth-wells merged 12 commits into
mainfrom
garth/simplifications
Apr 12, 2025
Merged

Various code fixes and simplifications#3700
garth-wells merged 12 commits into
mainfrom
garth/simplifications

Conversation

@garth-wells

@garth-wells garth-wells commented Apr 12, 2025

Copy link
Copy Markdown
Member

Includes fix of nasty using namespace ... in a header file, which should never happen.

@garth-wells garth-wells added bug housekeeping Tidying and style improvements labels Apr 12, 2025
@garth-wells garth-wells removed the bug label Apr 12, 2025
@garth-wells
garth-wells added this pull request to the merge queue Apr 12, 2025
Merged via the queue into main with commit 4047a7b Apr 12, 2025
@garth-wells
garth-wells deleted the garth/simplifications branch April 12, 2025 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

housekeeping Tidying and style improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant