Zulip Chat Archive
Stream: PR reviews
Topic: fix(fun_prop): few bug fixes for fun_prop #11092
Johan Commelin (Mar 05 2024 at 14:22):
If you speak meta and love fun_prop, please review:
fix(fun_prop): few bug fixes for fun_prop #11092
Last updated: May 02 2025 at 03:31 UTC