# Fill-in/fix authorship information for migrated commits. See # git-shortlog(1) for details. Alain Cremieux alcremi@pobox.com Alexander Biehl alexbiehl Duncan Coutts Duncan Coutts Duncan Coutts Gwern gwern0@gmail.com John Ericson Mike Thomas mthomas Neil Mitchell Omer Agacan osa1 Ross Paterson ross Sebastian Graf Sergey Vinokurov <1149355+sergv@users.noreply.github.com> Simon Marlow simonmar Simon Marlow Sven Panne panne Sven Panne sven.panne@aedion.de