On 10/23/2014 10:33 AM, Markus Armbruster wrote: > Since I already collected them to find out by how much they reduce the > number of unmaintained files: Peter, would you find a pull request for > the collection useful?
I was going to submit mine today in a pull request. Paolo
