From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Sat, 24 Jun 2023 21:58:49 +0000 (-0600)
Subject: Merge pull request #103 from jh66637/fix_comment
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d8022a0041c3e8f0e83a81bc40504ef623e6d439;p=release-papers.git

Merge pull request #103 from jh66637/fix_comment

fix comment in code snippet
---

d8022a0041c3e8f0e83a81bc40504ef623e6d439