tree e6c64e90ef2a698c720705e1098a046d1477f5b5
parent 4248eb06030e75f66bdbe55b7f5c5d5125cbcf16
author Romain Manni-Bucau <rmannibucau@apache.org> 1540138848 +0200
committer Romain Manni-Bucau <rmannibucau@apache.org> 1540138848 +0200

travis workaround to ensure git has a username