Subject: short option for --no-dereference (again)

From: Denis Excoffier <[email-masked]>
Date: Thu, 24 May 2018 21:02:57 +0200

Hello,

Wouldn't it be now the appropriate moment to implement the short option for --no-dereference?

See:
http://lists.gnu.org/archive/html/bug-diffutils/2015-07/msg00006.html
http://lists.gnu.org/archive/html/bug-diffutils/2012-01/msg00001.html and next in thread

Regards,

Denis Excoffier.