IMHO it doesn't matter when the API was deprecated. If some closed-
source and now unmaintained (and hence unfixable) application was using
the API in 2008, and someone somewhere is still using that application,
we shouldn't remove the API without bumping the library major version.
However, I still think this patch is fine, because I find it extremely
unlikely that there's any application in use that still links to this
API.
Arun, Georg, any objections to applying this patch?
--
Tanu
https://liberapay.com/tanuk
https://www.patreon.com/tanuk