From: Timo Heister <timo.heister@gmail.com>
Date: Wed, 20 May 2020 22:53:03 +0000 (-0400)
Subject: Merge pull request #142 from tjhei/9.2-take-over
X-Git-Tag: v9.2.0-r1~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c5a0e012b3b3c794d5a51dae5fdf9dab2d6e2d48;p=candi.git

Merge pull request #142 from tjhei/9.2-take-over

[9.2] take over recently merged PRs
---

c5a0e012b3b3c794d5a51dae5fdf9dab2d6e2d48