From: Wolfgang Bangerth <bangerth@colostate.edu>
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