[PING][Patch RFC] ARI changes for p-valprint.c

['Daniel Jacobowitz']

On Fri, Sep 07, 2007 at 02:18:07PM +0200, Pierre Muller wrote:
> Thanks for your comments Daniel,
> 
>  Here is a new version of the patch,
> together with a more precise ChangeLog entry.
> OK to commit?

Yep.

-- 
Daniel Jacobowitz
CodeSourcery