On Sat, Apr 18, 2020 at 12:36:19PM +0200, Dr. Jürgen Sauermann wrote:
Fixed in SVN 1264.
On Sat, Apr 18, 2020 at 03:47:31PM +0200, Dr. Jürgen Sauermann wrote:
the ]DOXY problem should be fixed in *SVN **1265*.
Tanks and thanks! Both look good now. -k
