New ARI warning Wed Aug 12 01:53:55 UTC 2015

[Keith Seitz]

On 08/14/2015 11:32 AM, Joel Brobecker wrote:
>> I have it on my plate to address this after BuildBot stops harassing me. :-)
> 
> :-)
> 
>> My inclination was to fix gdb_ari.sh to recognize this, but I'm just as
>> happy to simply rename the parameter to "P". [It's a lot less work, too!]
> 
> I would personally KISS and just rename, but enhancing the gdb_ari.sh
> script would of course be a better option (but, to be clear, an option
> which I personally think is not worth your time - it would be different
> if we had that all the time, but that doesn't appear to be the case).

I've bought into the KISS idea. It's Friday! :-)

I've pushed this as "obvious." [and remembered the ChangeLog]

Keith