From: Denis Davydov Date: Wed, 13 Jul 2016 16:39:47 +0000 (+0200) Subject: Merge pull request #2818 from tamiko/emergency_fix X-Git-Tag: v8.5.0-rc1~877 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7dfcd7917d839d5316ab160203185e3e60eca3db;p=dealii.git Merge pull request #2818 from tamiko/emergency_fix CMake: Bugfix: Do not error out if a variable for a feature constraint is undefined --- 7dfcd7917d839d5316ab160203185e3e60eca3db