Skip to main content
3 events
when toggle format what by license comment
Jul 5, 2021 at 20:08 comment added GH from MO @MarkSapir: I see. Let's delete these comments then (as obsolete and irrelevant).
Jul 5, 2021 at 6:25 comment added markvs @GHfromMO: My answer and the edited version of the question appeared at exactly the same time (within a few seconds of each other). Then I modified the answer.
Jul 5, 2021 at 2:36 history answered markvs CC BY-SA 4.0