Skip to content

Conversation

miri64
Copy link
Member

@miri64 miri64 commented Mar 11, 2025

Contribution description

Those lists are long gone (I think).

Testing procedure

Issues/PRs references

@miri64 miri64 requested a review from jia200x as a code owner March 11, 2025 13:27
@github-actions github-actions bot added the Area: doc Area: Documentation label Mar 11, 2025
@OlegHahm OlegHahm enabled auto-merge March 11, 2025 13:37
@crasbe crasbe added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Mar 11, 2025
@riot-ci
Copy link

riot-ci commented Mar 11, 2025

Murdock results

✔️ PASSED

b231170 doc: remove and replace deprecated mailing lists

Success Failures Total Runtime
1 0 1 01m:16s

Artifacts

@OlegHahm OlegHahm added this pull request to the merge queue Mar 11, 2025
Merged via the queue into RIOT-OS:master with commit 26ca217 Mar 11, 2025
27 checks passed
@miri64 miri64 deleted the doc/enh/rm-deprecated-lists branch March 11, 2025 17:14
@mguetschow mguetschow added this to the Release 2025.04 milestone Apr 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: doc Area: Documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants