**** BEGIN LOGGING AT Sat Jul 27 02:59:58 2013 Jul 27 12:28:46 so I just submitted a patch, is there any chance it'll be merged in? **** ENDING LOGGING AT Sun Jul 28 02:59:58 2013