Closed gmulhearn closed 4 months ago
Closes #1269
bunch of changes in last commit to make clippy happy
Closes #1269