[dokuwiki] New PR: 🤖 Update deleted files

  • From: "github-actions[bot]" <wiki@xxxxxxxxxxxx>
  • To: dokuwiki@xxxxxxxxxxxxx
  • Date: Fri, 2 Feb 2024 15:04:15 +0100 (CET)

Hi,

github-actions[bot] opened a new pull request at 
https://github.com/dokuwiki/dokuwiki/pull/4175:

This updates the list of deleted files based on the recent changes.

Please help us to review this pull request, so new contributors get feedback in 
a timely manner.

f1c9d2a0-c1d3-11ee-8890-cc58b8f3a7d9


-- 
DokuWiki mailing list - more info at
http://www.dokuwiki.org/mailinglist

Other related posts:

  1. Home
  2. dokuwiki
  3. Archive
  4. 02-2024