From: Luca Heltai <luca.heltai@sissa.it>
Date: Sun, 13 Oct 2024 08:30:38 +0000 (+0200)
Subject: Merge pull request #17711 from bangerth/subscriptor-rename
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb401394a0b35475def06ff9f52dfca02723c956;p=dealii.git

Merge pull request #17711 from bangerth/subscriptor-rename

Also rename the Subscriptor base class.
---

bb401394a0b35475def06ff9f52dfca02723c956