From: Matthias Maier Date: Wed, 7 Feb 2018 16:32:59 +0000 (-0600) Subject: Merge pull request #5873 from masterleinad/improve_ld_gold_detection X-Git-Tag: v9.0.0-rc1~461 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2bb8b3731f9a0b8c972c170831f0a125082e05a5;p=dealii.git Merge pull request #5873 from masterleinad/improve_ld_gold_detection Improve detection of ld.gold --- 2bb8b3731f9a0b8c972c170831f0a125082e05a5