From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Sun, 5 Apr 2020 21:36:54 +0000 (+0200)
Subject: Merge pull request #9825 from peterrum/mpi_fix_warning
X-Git-Tag: v9.2.0-rc1~291
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=648a5f63fd9803bc4f1c777dacb6e33d39ed8b44;p=dealii.git

Merge pull request #9825 from peterrum/mpi_fix_warning

Fix warning in Utilities::MPI for serial release build
---

648a5f63fd9803bc4f1c777dacb6e33d39ed8b44