From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Wed, 8 Nov 2017 01:24:56 +0000 (-0500)
Subject: Merge pull request #5418 from bangerth/cleanups
X-Git-Tag: v9.0.0-rc1~809
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c3f4ae6eedcc380f683b7a1143257e9a2b953030;p=dealii.git

Merge pull request #5418 from bangerth/cleanups

Minor updates to DoFRenumbering::Cuthill_McKee.
---

c3f4ae6eedcc380f683b7a1143257e9a2b953030