From: Wolfgang Bangerth Date: Wed, 29 Jan 2020 00:18:58 +0000 (-0700) Subject: Merge pull request #9443 from tjhei/parameter_handler_cleanup X-Git-Tag: v9.2.0-rc1~598 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=32d6d15a92b802363f5f5978734e3ff1c84e5376;p=dealii.git Merge pull request #9443 from tjhei/parameter_handler_cleanup make two ParameterHandler members local to .cc --- 32d6d15a92b802363f5f5978734e3ff1c84e5376