gustafn
committed
on 08 Mar 18
allow doc-strings starting with leading colons; fixes issue #3337