Closed scfleming closed 10 years ago
Andrea already did this in a separate branch but it's a trivial fix and is easier to just do in v1.1 branch than to try to merge.
This is fixed in the v1.1 branch.
Andrea already did this in a separate branch but it's a trivial fix and is easier to just do in v1.1 branch than to try to merge.