Zulip Chat Archive
Stream: general
Topic: sorrying a set of goals
Kevin Buzzard (Apr 20 2019 at 22:15):
I just typed convert rfl and now I have five goals. Can I have a relatively short one-liner which enables me to close all of the goals other than the second one with sorry?
Last updated: Dec 20 2023 at 11:08 UTC