From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 3 Oct 2017 21:08:12 +0000 (-0600)
Subject: Merge pull request #5194 from masterleinad/rempve_semicolon
X-Git-Tag: v9.0.0-rc1~999
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ef89fa76f75c5463a157aca45b21c21edf62ee8;p=dealii.git

Merge pull request #5194 from masterleinad/rempve_semicolon

Remove extra ';'
---

1ef89fa76f75c5463a157aca45b21c21edf62ee8