Skip to content
This repository has been archived by the owner on Sep 20, 2022. It is now read-only.

Archival notice #83

Merged
merged 1 commit into from
Sep 20, 2022
Merged

Archival notice #83

merged 1 commit into from
Sep 20, 2022

Conversation

chrysn
Copy link
Member

@chrysn chrysn commented Sep 20, 2022

The repository has been moved in with RIOT.

Before archiving it, I'd like to add this note so people see why it was archived.

@miri64
Copy link
Member

miri64 commented Sep 20, 2022

Mh already force-pushed something similar into master.... but I like your notice better ^^

@miri64 miri64 merged commit eb83784 into RIOT-OS:master Sep 20, 2022
@chrysn chrysn deleted the tombstone branch September 20, 2022 15:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants