[still_grokking]

That dead[1] project?

Actually everything around "Redox" looks like:

https://gitlab.redox-os.org/redox-os/tfs/issues/66

[1] https://gitlab.redox-os.org/redox-os/tfs/issues/80

[qchris]

Redox is still very much active...

[1] https://gitlab.redox-os.org/groups/redox-os/-/activity

[2] https://www.redox-os.org/news/