CompatHelper: add new compat entry for DocStringExtensions at version 0.8, (keep existing compat)#9

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

compathelper/new_version/2021-09-24-22-58-42-569-03056993617RemoteSensingTools/InstrumentOperator.jl:compathelper/new_version/2021-09-24-22-58-42-569-03056993617Copy head branch name to clipboard