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

github-actions[bot] wants to merge 1 commit intomasterSimonCoste/LineIntersections:masterfrom

compathelper/new_version/2021-05-03-00-48-23-100-3582219305SimonCoste/LineIntersections:compathelper/new_version/2021-05-03-00-48-23-100-3582219305Copy head branch name to clipboard