Re: New ARI warning Tue Aug 2 02:08:00 UTC 2016 in gdb-7.12-branch

Joel Brobecker
2016-08-02T13:30:48Z

This message is caused by the switch from the 7.11 branch to the 7.12
one, so can be ignored.

--
Joel