Allow for duplicate docstrings in @docs
and @autodocs
, issue #1079#1570
Closed
manuelbb-upb wants to merge 5 commits intoJuliaDocs:masterfrom manuelbb-upb:master
+23-11
@docs
and @autodocs
, issue #1079#1570