Stream: beginners

Topic: ✔ Default platform question

view this post on Zulip Anton (Aug 21 2026 at 13:44):

fixed in PR#10891

view this post on Zulip Notification Bot (Aug 21 2026 at 13:45):

Anton has marked this topic as resolved.

Last updated: Sep 03 2026 at 15:16 UTC