From: Daniel Arndt <arndtd@ornl.gov>
Date: Sat, 30 Nov 2019 17:09:49 +0000 (-0500)
Subject: Merge pull request #9113 from rezarastak/mpi_min_arrayview
X-Git-Tag: v9.2.0-rc1~838
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=224808233537c64b7c00bbf305521e7a80fbf0ba;p=dealii.git

Merge pull request #9113 from rezarastak/mpi_min_arrayview

explicit instanciation is provided for Utilities::MPI::min
---

224808233537c64b7c00bbf305521e7a80fbf0ba