Closed cscherrer closed 2 years ago
Fixes https://github.com/cscherrer/MeasureTheory.jl/issues/230
Closing this PR, since this was included in https://github.com/cscherrer/MeasureTheory.jl/commit/d2118221966c6485c118845a5f024813351e8e21
Fixes https://github.com/cscherrer/MeasureTheory.jl/issues/230