CompatHelper: bump compat for "PDMats" to "0.10"#7

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

masterCornelius-G/BAT.jl:masterfrom

compathelper/new_version/2020-05-21-00-04-30-606-1530798251Cornelius-G/BAT.jl:compathelper/new_version/2020-05-21-00-04-30-606-1530798251Copy head branch name to clipboard