From: Martin Kronbichler Date: Thu, 2 Jun 2022 07:40:15 +0000 (+0200) Subject: Merge pull request #13888 from bangerth/std X-Git-Tag: v9.4.0-rc1~85 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89f6f776b21fee06a883ff3a6fcbad061cf61611;p=dealii.git Merge pull request #13888 from bangerth/std Qualify int*_t and uint*_t with std::. --- 89f6f776b21fee06a883ff3a6fcbad061cf61611