Vlad Orlov Sat, 03 Jun 2017 02:48:53 -0700
Hi, Yes, that pull request fixed it, and the fix is included in Caja 1.16.3.