CompatHelper: add new compat entry for "Distributions" at version "0.25"#16

github-actions[bot] wants to merge 1 commit intomasterguilgautier/PartialRejectionSampling.jl:masterfrom

compathelper/new_version/2021-05-03-00-43-19-785-2558935069guilgautier/PartialRejectionSampling.jl:compathelper/new_version/2021-05-03-00-43-19-785-2558935069Copy head branch name to clipboard