From: Wolfgang Bangerth Date: Fri, 18 Nov 2016 18:00:13 +0000 (-0700) Subject: Merge pull request #3618 from masterleinad/fix_changes_h X-Git-Tag: v8.5.0-rc1~381 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0408fb44edbaa1fde13957e0fad11c5a0a6f443f;p=dealii.git Merge pull request #3618 from masterleinad/fix_changes_h Fixup changes.h --- 0408fb44edbaa1fde13957e0fad11c5a0a6f443f