Subject: bug#16613: diff -r with .gz files in the directories

From: Paul Eggert <[email-masked]>
Date: Sat, 29 Mar 2014 22:24:46 -0700

> Does it make sense to make diff be aware of .gz format at least when -r is used?

Something like that might make sense, yes, though it probably should be 
more general than just .gz files.