commit 82d07a5ba742f816892c7560c7ffb73d7123e86f
author Philipp Wollermann <philwo@google.com> Sat Apr 07 22:10:51 2018 +0200
committer Philipp Wollermann <philwo@google.com> Sat Apr 07 22:10:51 2018 +0200
tree f337a77163c370bb0153f82a7e65805135fd70e8
parent c9cd8bce5fab8cc3060e29cc18753ac80b90628b

Update CONTRIBUTORS file with new team members.

CONTRIBUTORS

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 5578a2b..c9d49ab 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -12,7 +12,10 @@
 Damien Martin-Guillerez <dmarting@google.com>
 David Z. Chen <dzc@google.com>
 Dmitry Lomov <dslomov@google.com>
+Florian Weikert <fwe@google.com>
+Jakob Buchgraber <buchgr@google.com>
 Kristina Chodorow <kchodorow@google.com>
 Laszlo Csomor <laszlocsomor@google.com>
 Lukacs T. Berki <lberki@google.com>
+Philipp Wollermann <philwo@google.com>
 Yun Peng <pcloudy@google.com>