Bruno Haible wrote:
> Jim Meyering wrote on 2012-01-10:
>> We deprecated ignore_ptr a year ago:
>>
>> http://thread.gmane.org/gmane.linux.utilities.util-linux-ng/3784/focus=3802
>>
>> So I've removed it.
>> ...
>> +2012-01-10 Jim Meyering
>> +
>> +ignore-value: remove deprecated ignore_pt
Jim Meyering wrote on 2012-01-10:
> We deprecated ignore_ptr a year ago:
>
> http://thread.gmane.org/gmane.linux.utilities.util-linux-ng/3784/focus=3802
>
> So I've removed it.
> ...
> +2012-01-10 Jim Meyering
> +
> + ignore-value: remove deprecated ignore_ptr function
> + * lib/igno
says that there are no uses of
/ignore_ptr\ *\(/ in code it indexes.
>From 530dd1744036b6f2b62aea156b399c7cec024d27 Mon Sep 17 00:00:00 2001
From: Jim Meyering
Date: Tue, 10 Jan 2012 08:38:52 +0100
Subject: [PATCH] ignore-value: remove deprecated ignore_ptr function
* lib/ignore-value.h (ig