Is this project still maintained?

[jochenseeber]

Hi,

is this project still maintained. We like it very much and would hate to see it go abandoned.

We'd be glad to help!

[trans]

Hi,

My life has changed drastically over the last few years. I don't have the time I used to, unfortunately. I be happy to add you to the project.

~Tom

[jochenseeber]

Hi, That would be really great. If you need any help with the other great projects (qed, etc.) let me know. Regards, Jochen

…

Am 23.06.2020 um 23:01 schrieb 7rans ***@***.***>: Hi, My life has changed drastically over the last few years. I don't have the time I used to, unfortunately. I be happy to add you to the project. ~Tom — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#4 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAGLNVFSL3ZHLTCJ4DTNZ3LRYEJ3JANCNFSM4NYPOQOQ>.

[jochenseeber]

Hi,

just wanted to check in and offer my help keeping ae up to date.

Regards,
Jochen