Stream: helpdesk (published)

Topic: when should I bump a PR to Julia?


view this post on Zulip pg. (Aug 30 2022 at 17:29):

I made a small bugfix PR to Julia, but it hasn't been acknowledged by anyone yet.

When/how should I bump it?

view this post on Zulip Fredrik Ekre (Aug 30 2022 at 17:32):

When it has been a while :) Which PR?

view this post on Zulip pg. (Aug 30 2022 at 17:33):

https://github.com/JuliaLang/julia/pull/46397


Last updated: Nov 06 2024 at 04:40 UTC