From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Mon, 25 Jul 2022 15:38:22 +0000 (-0400)
Subject: Merge pull request #113 from bangerth/information
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df6d6c5d08da3e2e94d3c18cd9e432aff1518745;p=code-gallery.git

Merge pull request #113 from bangerth/information
---

df6d6c5d08da3e2e94d3c18cd9e432aff1518745