Stream: beginners

Topic: ✔ Can't rename a polymorphic function?


view this post on Zulip Notification Bot (Jan 20 2025 at 16:51):

This topic was moved to #bugs > Can't rename a polymorphic function? by JanCVanB.

view this post on Zulip Notification Bot (Jan 20 2025 at 16:52):

JanCVanB has marked this topic as resolved.

view this post on Zulip jan kili (Jan 20 2025 at 16:54):

Note to self: If you move an entire topic and check "send notification to old topic", it will create an un-delete-able stub like this.


Last updated: Jul 06 2025 at 12:14 UTC