[Backport 6.1] Use 0.25p iinstead of default when describing pen thickness#4007

Merged

seisman merged 1 commit into6.1from backport-4006-to-6.1

Aug 21, 2020

+2-2

Commits on Aug 21, 2020

Use 0.25p iinstead of default when describing pen thickness (#4006 )

PaulWessel
authored and
github-actions[bot]
committed