From: Martin Kronbichler Date: Sun, 30 Aug 2015 16:14:39 +0000 (+0200) Subject: Merge pull request #1471 from tamiko/small_cleanup X-Git-Tag: v8.4.0-rc2~522 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f850f51fa341a227d601b1a4c64421e99ecb75e7;p=dealii.git Merge pull request #1471 from tamiko/small_cleanup Bugfix: Replace 'size_t' with 'unsigned int' where appropriate --- f850f51fa341a227d601b1a4c64421e99ecb75e7