Merge remote-tracking branch 'pub/master'

* pub/master:
  Fix Maven warning about antrun in gerrit-gwtui
  gerrit.sh: Fix issue on SuSE Linux
  E-mail about failed merge should not use Anonymous Coward as submitter

Change-Id: Ib5ef28d31edd78a19ca4e8e991779ef16be935ed