Remove discard() total
authorDavid Levine <levinedl@acm.org>
Wed, 26 Dec 2012 01:25:43 +0000 (19:25 -0600)
committerPhilipp Takacs <philipp@bureaucracy.de>
Wed, 26 Aug 2015 21:46:44 +0000 (23:46 +0200)
discard() isn't needed in mmh anymore.


No differences found