Re: Erroneously pushed to master

[rost via Cyrus-devel]

On Tue, May 3, 2016, at 15:30, rost via Cyrus-devel wrote:
> By mistake, I've pushed the wrong branch to master. Please hold back
> while I fix this.

Nevermind, it's all good. Sorry for the noise.

Cheers,
Robert