## This file allows joining different accounts of a single person. ## Cf for instance: git shortlog -nse. More details via: man git shortlog # having the same name name on a line will fix capitalization Adam Chlipala Adam Chlipala Adam Chlipala Adam Chlipala Andres Erbsen Andres Erbsen Andres Erbsen Andres Erbsen Andres Erbsen Andres Erbsen Jade Philipoom Jade Philipoom Jade Philipoom jadephilipoom Jade Philipoom jadep Jade Philipoom jadep Jade Philipoom Jade Philipoom Jason Gross Jason Gross Jason Gross Jason Gross Jason Gross Jason Gross Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Robert Sloan Rob Sloan Robert Sloan varomodt Robert Sloan Robert Sloan Robert Sloan Rob Sloan