Commit Graph

1 Commits

Author SHA1 Message Date
Greg Landrum
a26ea07d21 Fixes #7556 (#7646)
* backup, does not work

* fix a copy-pasta typo

remove debugging messages

all tests pass here

* last bit of modernization
2024-07-22 16:34:08 +02:00