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@xxxxxxxxxx Electr.Eng., Mathematics & Comp.Science +31 15 27 83234 Delft University of Technology _______________________________________________ CentOS mailing list CentOS@xxxxxxxxxx https://lists.centos.org/mailman/listinfo/centos