CompatHelper: add new compat entry for Distributions at version 0.25, (keep existing compat)#7

github-actions[bot] wants to merge 1 commit intomainRemoteSensingTools/InstrumentOperator.jl:mainfrom

compathelper/new_version/2021-09-24-22-58-37-748-01023462691RemoteSensingTools/InstrumentOperator.jl:compathelper/new_version/2021-09-24-22-58-37-748-01023462691Copy head branch name to clipboard