diff --git a/docsrc/source/about.rst b/docsrc/source/about.rst index dad95d909..e42c2e0b8 100644 --- a/docsrc/source/about.rst +++ b/docsrc/source/about.rst @@ -6,6 +6,8 @@ Core maintainers * `Stefan Radev `__, Rensselaer Polytechnic Institute * `Lars Kühmichel `__, TU Dortmund University +* `Paul Bürkner `__, TU Dortmund University +* `Valentin Pratz `__, Heidelberg University Active maintainers ------------------