Zulip Chat Archive

Stream: new members

Topic: or.inl and or.inr

view this post on Zulip Michael Beeson (Sep 12 2020 at 04:10):

Post deleted, I figured out the answer myself. I only know how to delete the contents, not the whole post.

view this post on Zulip Johan Commelin (Sep 12 2020 at 05:40):

@Michael Beeson You can't delete posts. Only admins can.

Also... if you've figured out the answer, please consider posting the answer. Others might learn from it.

Last updated: May 16 2021 at 05:21 UTC