From: David Wells <drwells@vt.edu>
Date: Fri, 14 Oct 2016 17:36:07 +0000 (-0400)
Subject: Merge pull request #3247 from spco/remove_semicolon
X-Git-Tag: v8.5.0-rc1~567
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6943db39bb5491b43fc6eca47ff1fadc7b4d3e6d;p=dealii.git

Merge pull request #3247 from spco/remove_semicolon

Remove extra semicolon.
---

6943db39bb5491b43fc6eca47ff1fadc7b4d3e6d