From: Matthias Maier <tamiko@kyomu.43-1.org>
Date: Tue, 2 Sep 2014 07:25:13 +0000 (+0200)
Subject: Merge pull request #124 from bangerth/fix-c++11-namespace
X-Git-Tag: v8.2.0-rc1~170
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=74106acb051dbbe15a8a0284b304a5ed8ec320dd;p=dealii.git

Merge pull request #124 from bangerth/fix-c++11-namespace

Fix an oversight in the previous patch in which we did not put stuff into
the correct namespace.
---

74106acb051dbbe15a8a0284b304a5ed8ec320dd