Merge pull request #13500 from annando/unseen-circles
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Thu, 5 Oct 2023 17:42:55 +0000 (19:42 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Oct 2023 17:42:55 +0000 (19:42 +0200)
Fix: The calculation of unseen circles can now be deactivated again


Trivial merge