Closed arrowtip closed 8 months ago
probably a float rounding error while comparing the range
Could not reproduce with current version, nor with older version. closing for now.
probably a float rounding error while comparing the range