Merge pull request #3914 from dokuwiki/create-pull-request/patch
commit44066ac89cb9592c68decfc2ee607f828ed748e5
authorAndreas Gohr <andi@splitbrain.org>
Fri, 10 Mar 2023 14:35:53 +0000 (10 15:35 +0100)
committerGitHub <noreply@github.com>
Fri, 10 Mar 2023 14:35:53 +0000 (10 15:35 +0100)
tree6201dca1ff4d55d28b113042d06d501ac0172785
parentb43a1395186275087a0c9d0d29d9fbcfc743547c
parent0d751d9db3d02cd152468e2cf2d7ab6f83c52614
Merge pull request #3914 from dokuwiki/create-pull-request/patch

Update deleted files