Web lists-archives.com

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




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