CompatHelper: bump compat for "IntervalSets" to "0.5"#4

github-actions[bot] wants to merge 1 commit into

masterCornelius-G/BAT.jl:masterfrom

compathelper/new_version/2020-04-15-00-03-16-609-3465880512Cornelius-G/BAT.jl:compathelper/new_version/2020-04-15-00-03-16-609-3465880512Copy head branch name to clipboard