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

From: Stefan Beller <hidden>
Date: 2019-01-25 19:42:07

I see it is fixed in
https://public-inbox.org/git/20190122003020.9672-3-pclouds@gmail.com/
but not in 2722d068deb (SQUASH???, 2019-01-18)
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help