Re: Erroneously pushed to master

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

Erroneously pushed to master

Hi, By mistake, I've pushed the wrong branch to master. Please hold back while I fix this. Sorry, Robert