On Wed, 2018-06-13 at 21:55 +0100, jnqnfe at gmail.com wrote: > deprecated since 2009 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
