Stream: helpdesk (published)

Topic: when should I bump a PR to Julia?

peter j. (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?

Fredrik Ekre (Aug 30 2022 at 17:32):

When it has been a while :) Which PR?

peter j. (Aug 30 2022 at 17:33):

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

Last updated: Oct 02 2023 at 04:34 UTC