On 12/10/18 7:17 PM, Josh Gao via Toybox wrote: > I sent some patches to add these a year ago, and the people requesting > the functionality probably just hit the same point in their > development cycle where they're wanting this again :-) I'd say the "re-ping after a week and it's then my fault if I haven't gotten to it" rule definitely applies. :) Rob