[PUSHED] merge these libraries only for android
michael.meeks at suse.com
Tue Aug 14 09:26:56 PDT 2012
On Tue, 2012-08-14 at 17:49 +0200, Matúš Kukan wrote:
> I've pushed them myself ;-)
Ah ! :-)
> This happened because I've pushed them and in short time after that,
> I've pushed something else to gerrit.
> But gerrit was still at older commit at that time, so he thought I am
> pushing all of them and only later found out they are merged.
> Sorry, I didn't realize I have to wait when pushing to gerrit.
That's fine good to understand :-) - the hope is that gerrit will
become the authoritative source of git-ness this week, and this then
stops being a problem :-)
michael.meeks at suse.com <><, Pseudo Engineer, itinerant idiot
More information about the LibreOffice