search

pypeit / PypeIt-development-suite

8 stars 11 forks source link

Fixes #195

Closed rcooke-ast closed 2 years ago

rcooke-ast commented 2 years ago

Fix for @jhennawi

profxj commented 2 years ago

This doesn't merge in until after https://github.com/pypeit/PypeIt/pull/1384 clears, right?

Just checking.

rcooke-ast commented 2 years ago

Nope - it can be merged now... done :-)