Closed mfriesenegger closed 2 years ago
This PR removes the error which was commented by @stefanotorresi in #759.
This PR removes the error which was commented by @stefanotorresi in #759.