Stream: coqbot devs & users

Topic: Logentries


view this post on Zulip Théo Zimmermann (Jan 11 2023 at 19:18):

I have received an email to alert that Logentries would be discontinued on March 7. There are several alternative logging apps, and I have installed Papertrail to test it.


Last updated: Mar 02 2024 at 17:02 UTC