From: Peter Munch <peterrmuench@gmail.com>
Date: Sat, 27 May 2023 06:52:55 +0000 (+0200)
Subject: Merge pull request #93 from marcfehling/fehling
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d455bcfe5c2b0224246bbc36bbf929261c0db7f;p=release-papers.git

Merge pull request #93 from marcfehling/fehling

Serialization of active FE indices.
---

8d455bcfe5c2b0224246bbc36bbf929261c0db7f