20 Jan
2017
20 Jan
'17
5:13 p.m.
On 20-01-17 16:35, Gordon Messmer wrote:
I find filing bug reports generally more effective than hoping, and submitting patches more effective still.
I did already file a bug report. Since this involves a change in definition I'll wait for input before starting on a patch. ;-)
--
Robbert Eggermont Intelligent Systems
R.Eggermont@tudelft.nl Electr.Eng., Mathematics & Comp.Science
+31 15 27 83234 Delft University of Technology