From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Fri, 18 Oct 2019 16:46:45 +0000 (-0600)
Subject: Merge pull request #8925 from masterleinad/document_empty_copier
X-Git-Tag: v9.2.0-rc1~970
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f3cf3b8c8eb4ee45ffe5b104d4e20a91d79fbe94;p=dealii.git

Merge pull request #8925 from masterleinad/document_empty_copier

Document usage of empty copiers in WorkStream
---

f3cf3b8c8eb4ee45ffe5b104d4e20a91d79fbe94