This repository has been archived by the owner on Sep 24, 2020. It is now read-only.

This project should be marked as archived #539

Open

lextm opened this issue Oct 14, 2019 · 1 comment

lextm commented Oct 14, 2019

Now GitHub allows old projects to be archived, so this one should be marked explicitly that way to avoid confusion.

Member

christophwille commented Sep 24, 2020

@dgrunwald should we archive or pin #532 (comment) ?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.