From: Martin Kronbichler <martin.kronbichler@rub.de>
Date: Fri, 6 Sep 2024 06:11:59 +0000 (+0200)
Subject: Merge pull request #17670 from bangerth/make-consistent-5
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=39134a2dfd1cb0dab7ab3e4894d818443ffab0cf;p=dealii.git

Merge pull request #17670 from bangerth/make-consistent-5

Make a lambda function a proper function of its own.
---

39134a2dfd1cb0dab7ab3e4894d818443ffab0cf