Zulip Chat Archive
Stream: PR reviews
Topic: 1089 Commuting elements
Yury G. Kudryashov (Oct 01 2019 at 05:13):
Hi @Johan Commelin @Chris Hughes , could you please have another look at #1089?
Johan Commelin (Oct 01 2019 at 09:04):
@Yury G. Kudryashov I'll try my best to do it soon
Yury G. Kudryashov (Oct 01 2019 at 19:06):
Thank you!
Johan Commelin (Oct 04 2019 at 12:06):
@Yury G. Kudryashov Thanks a lot for bringing this PR up to speed again!
Last updated: Dec 20 2023 at 11:08 UTC