CompatHelper: bump compat for "LoadFlint" to "0.4" - #119

CompatHelper: bump compat for "LoadFlint" to "0.4"#119

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

masterwbhart/Nemo.jl:masterfrom

compathelper/new_version/2020-12-12-00-21-07-367-2977675069wbhart/Nemo.jl:compathelper/new_version/2020-12-12-00-21-07-367-2977675069Copy head branch name to clipboard