julia
Fix brief doc trimming with empty and non-string headers, fixes #35216.
#35218

Merged

Fix brief doc trimming with empty and non-string headers, fixes #35216. #35218

fredrikekre merged 1 commit into master from fe/trimdocs

Fix brief doc trimming with empty and non-string headers, fixes #35216.

1844a0a9

fredrikekre requested a review from

timholy 5 years ago

fredrikekre added docsystem

fredrikekre merged b81ce9e7 into master 5 years ago

fredrikekre deleted the fe/trimdocs branch 5 years ago

Reviewers

timholy

Assignees

No one assigned

Labels

docsystem

Milestone

No milestone