Closed sebastianduesing closed 3 months ago
Reduces churn/messy diffs.
thanks, bizarre that these were in here in the first place
Possibly related: https://github.com/ontodev/robot/issues/1129
Reduces churn/messy diffs.