From: Wolfgang Bangerth Date: Wed, 26 Jan 2022 21:48:47 +0000 (-0700) Subject: Merge pull request #13291 from masterleinad/detection_idiom X-Git-Tag: v9.4.0-rc1~563 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e7a01acd5c501bcb498f0f81f3770b9067ebb488;p=dealii.git Merge pull request #13291 from masterleinad/detection_idiom Use standardized detection idiom --- e7a01acd5c501bcb498f0f81f3770b9067ebb488