> I'll admit that I did that change on the direction of pkglint > (20.1.1) who claims to know nothing about ggrep. That pkglint was too old -- sorry! That's now fixed on that host. Regards, - Håvard