gustafn
committed
7 months ago
Fix for bug #3335 (as suggested by Michael Aram)