3 ms·
Up to you, but they had GitHub issues turned on for the distribution repo so you can file an issue there, which allows others to see when it's fixed and whether
by mdaniel 1y ago
Up to you, but they had GitHub issues turned on for the distribution repo so you can file an issue there, which allows others to see when it's fixed and whether it affects them, too