Nice catch! Merged to master, release 3.1 and release 3.0. Thanks Cesar and Garry! Unfortunately, I missed Garry's signoff when merging. Sorry about that Garry!
Nice catch! Merged to master, release 3.1 and release 3.0. Thanks Cesar and Garry! Unfortunately, I missed Garry's signoff when merging. Sorry about that Garry!