On 09/22/2016 11:40 AM, Anton Kolesov wrote: > This particular warning is printed only when option -Wari is passed to > contrib/ari/gdb_ari.sh , so it slipped under my radar. > > Ok to commit? OK. Thanks for the quick fix. Thanks, Pedro Alves