Admin/user-aliases
author wenzelm
Mon Jul 29 15:09:20 2013 +0200 (2013-07-29 ago)
changeset 52770 8c7cf864e270
parent 48257 f2ad77fd638d
child 55135 bc8cf4312ea7
permissions -rw-r--r--
pro-forma Goal.reset_futures, despite lack of final join/commit;
     1 lcp paulson
     2 norbert.schirmer@web.de schirmer
     3 schirmer@in.tum.de schirmer
     4 urbanc@in.tum.de urbanc
     5 nipkow@lapbroy100.local nipkow
     6 chaieb@chaieb-laptop chaieb
     7 immler@in.tum.de immler
     8 tsewell@rubicon.NSW.bigpond.net.au tsewell
     9 tsewell@nicta.com.au tsewell
    10 thomas.sewell@nicta.com.au tsewell
    11 kaliszyk@in.tum.de kaliszyk
    12 Philipp\ Meyer meyerp
    13 noschinl@in.tum.de noschinl
    14 brianh@cs.pdx.edu huffman
    15 nik sultana
    16 griff Christian Sternagel
    17 cezarykaliszyk@gmail.com kaliszyk
    18 hellerar@macbroy24.informatik.tu-muenchen.de hellerar
    19 tbourke Timothy Bourke
    20 gerwin.klein@nicta.com.au kleing
    21 Gerwin\ Klein\ <gerwin.klein@nicta.com.au> kleing