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

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

maindforero0896/Boltzmann.jl:mainfrom

compathelper/new_version/2022-09-27-01-25-40-263-03441316144dforero0896/Boltzmann.jl:compathelper/new_version/2022-09-27-01-25-40-263-03441316144Copy head branch name to clipboard