Diff for "patchbot/owners"

Differences between revisions 1 and 2

Bot names and owners:

-  ⇤ ← Revision 1 as of 2015-04-23 19:41:49 → 
  Size: 93
  Editor: chapoton
  Comment:
+   ← Revision 2 as of 2015-04-23 19:42:19 → ⇥
  Size: 121
  Editor: chapoton
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-arando : 
sage4 :
eddy :
librae :
silence :
pi : 
groebner :
+    arando : 
    sage4 :
    eddy :
    librae :
    silence :
    pi : 
    groebner :