On 14 August 2012 17:06, Michael Meeks <michael.meeks@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.
Matus
Context
Privacy Policy |
Impressum (Legal Info) |
Copyright information: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License.
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (
MPLv2).
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our
trademark policy.