Diff for "patchbot/owners"

Differences between revisions 2 and 8 (spanning 6 versions)

Bot names and owners:

    arando        = jdemeyer
    eddy          = ?
    groebner      = ?
    icj-laptop    = chapoton
    librae        = vdelecroix
    Martin-Laptop = ?
    mangouste     = vdelecroix
    pcl337b       = ?
    pi            = ?
    sage4         = jdemeyer
    silence       = ncohen

-  ⇤ ← Revision 2 as of 2015-04-23 19:42:19 → 
  Size: 121
  Editor: chapoton
  Comment:
+   ← Revision 8 as of 2015-04-24 00:00:29 → ⇥
  Size: 330
  Editor: vdelecroix
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 2:
-    arando : 
    sage4 :
    eddy :
    librae :
    silence :
    pi : 
    groebner :
+{{{
    arando        = jdemeyer
    eddy          = ?
    groebner      = ?
    icj-laptop    = chapoton
    librae        = vdelecroix
    Martin-Laptop = ?
    mangouste     = vdelecroix
    pcl337b       = ?
    pi            = ?
    sage4         = jdemeyer
    silence       = ncohen
}}}