CompatHelper: bump compat for DocStringExtensions to 0.9, (keep existing compat)#2

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

compathelper/new_version/2023-06-24-01-43-30-770-02551320751JuliaSparse/SuperLUDIST.jl:compathelper/new_version/2023-06-24-01-43-30-770-02551320751Copy head branch name to clipboard