From: David Wells <drwells@email.unc.edu>
Date: Sat, 25 Aug 2018 21:26:27 +0000 (-0400)
Subject: Merge pull request #7119 from bangerth/ref
X-Git-Tag: v9.1.0-rc1~778
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b36e42772ff805cb52b591c8a91300703b49efc0;p=dealii.git

Merge pull request #7119 from bangerth/ref

Don't use a reference for a 'const unsigned int'.
---

b36e42772ff805cb52b591c8a91300703b49efc0