Fix username merging.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 15 Jul 2013 02:00:53 +0000 (22:00 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 15 Jul 2013 02:00:53 +0000 (22:00 -0400)
commit90c763c607d9eceb718b2229bb420134c9931544
treeb62870756287d1dcb2005c03c1daf0b6fb2aa309
parent7bb00e04c15781d889f950d00babf3f183047bff
Fix username merging.
src/Configuration.hs
src/OptionalConfiguration.hs