[PUSHED] merge these libraries only for android

Matúš Kukan matus.kukan at gmail.com
Tue Aug 14 08:49:40 PDT 2012

On 14 August 2012 17:06, Michael Meeks <michael.meeks at suse.com> wrote:
> PS. It would be -really- nice if gerrit correctly sent out the
> [PUSHED] mail when such a commit is merged to avoid duplicated
> work and/or loosing mailing-list patches.
> PPS. Come on Matus - you're an expert you don't need review for
> these simple patches :-)

I've pushed them myself ;-)
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.


More information about the LibreOffice mailing list