From: Matthias Maier Date: Sat, 19 Dec 2015 23:02:27 +0000 (-0600) Subject: Merge pull request #1996 from drwells/remove-dealii-memory-bug-check X-Git-Tag: v8.4.0-rc2~146 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8582a6e4012e88dd708b4332ae7302d518f63d9f;p=dealii.git Merge pull request #1996 from drwells/remove-dealii-memory-bug-check Remove an unimplemented configuration option. --- 8582a6e4012e88dd708b4332ae7302d518f63d9f