**** BEGIN LOGGING AT Mon Aug 12 02:59:58 2019
Aug 12 08:12:13 <RP> smurray: it was a feature, not really a bug fix so I'm not sure that should get backported
Aug 12 08:12:20 <RP> smurray: It changes the API :/
Aug 12 13:10:47 <smurray> RP: okay.
Aug 12 14:06:10 <armpit> smurray, I didn't back port it for that reason
Aug 12 14:06:31 <smurray> armpit: okay, thanks.  I'll live with the extra typing for now ;)
**** ENDING LOGGING AT Tue Aug 13 02:59:56 2019