Hi Miklos, On 2010-11-26 at 01:33 +0100, Miklos Vajna wrote:
> I'm attaching a patch that updates the cia bot so that you don't need to > manually disable it on each merge. ;) > > OK to push? (More importantly, if I push it, it would be nice if you > could restart the bot, as I guess that's not automatic. :) ) Nice - please go ahead and push, and tell me when done; indeed, it is not automatic ;-) Thank you, Kendy _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice