I pushed the fix for this a couple hours ago, so probably you just saw the bug’s final death throes.
That’s fascinating timing. I posted that comment immediately after seeing the bug, so it shouldn’t have been live anymore. Maybe it was a remnant of browser cache stuff?
I pushed the fix for this a couple hours ago, so probably you just saw the bug’s final death throes.
That’s fascinating timing. I posted that comment immediately after seeing the bug, so it shouldn’t have been live anymore. Maybe it was a remnant of browser cache stuff?