You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Revert throwing an error for non-thin intervals#625
Merged
OlivierHnt merged 1 commit intoJuliaIntervals:masterJuliaIntervals/IntervalArithmetic.jl:masterfrom OlivierHnt:bool-errorOlivierHnt/IntervalArithmetic.jl:bool-errorCopy head branch name to clipboardFeb 5, 2024
