From: Denis Davydov <davydden@gmail.com>
Date: Tue, 20 Dec 2016 05:55:12 +0000 (+0100)
Subject: Merge pull request #3683 from bangerth/add-op-eq
X-Git-Tag: v8.5.0-rc1~325
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b3ed046d8b200d4dc4df0ba4a250007e8cfe26ab;p=dealii.git

Merge pull request #3683 from bangerth/add-op-eq

Add a copy operator to Mutex so that it can be used in class with an operator=.
---

b3ed046d8b200d4dc4df0ba4a250007e8cfe26ab