On 12 January 2016 at 20:38, Martin Thomson <martin.thom...@gmail.com> wrote:
> The Push API is intended for infrequent messages.... I don't recall this being stated as a design goal or implicit requirement, though I may have missed it. What counts as *infrequent* in this context? Regards Ben
