Alberto:
Moreover this particular bug affected only one known person.
My mistake, it affected three people. So probably it would be its description needed my latest update.
(https://bugs.launchpad.net/ubuntu/+source/grep/+bug/1535458)
-- Ubuntu-quality mailing list Ubuntu-quality@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-quality