From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 7 May 2020 23:27:20 +0000 (-0500)
Subject: Merge pull request #10046 from bangerth/vec
X-Git-Tag: v9.2.0-rc1~95
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6cf572e0fb5ec164b51226e6bf0ff106c70ddb31;p=dealii.git

Merge pull request #10046 from bangerth/vec

Augment the documentation of operator<< for Vector.
---

6cf572e0fb5ec164b51226e6bf0ff106c70ddb31