Compiling pu fails: diff.c:4695:19: error: unused function 'short_opt'

[Stefan Beller]

I see it is fixed in
https://public-inbox.org/git/20190122003020.9672-3-pclo...@gmail.com/
but not in 2722d068deb (SQUASH???, 2019-01-18)