Closed brianpm closed 1 year ago
Resolves #257
@nusbaume and @brianpm Looks good to me, thanks for catching this small but consequential bug.
Resolves #257