From: Stefan Beller <sbeller@google.com>
Date: Fri, 25 Jan 2019 19:41:53 GMT
Subject: Compiling pu fails: diff.c:4695:19: error: unused function 'short_opt'
Message-ID: <CAGZ79kaUg3NTRPRi5mLk6ag87iDB_Ltq_kEiLwZ2HGZ+-Vsd8w@mail.gmail.com>

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)