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: Feb 28 2026 at 14:05 UTC