Paul Eggert Sun, 08 May 2011 11:20:00 -0700
On 05/08/11 10:34, Bruno Haible wrote: > I propose to remove this macro.
No objection here. Simpler is better.