@Roger Peppe (rogpeppe),
It is but ... :) In this case, the fix has been already put into a release and linked to that other bug :) It was an oversight that this bug was not detected at the triaging of the newer bug - apologies for that :)
Good news - the fix is in!
@Roger Peppe (rogpeppe),
It is but ... :)
In this case, the fix has been already put into a release and linked to that other bug :) It was an oversight that this bug was not detected at the triaging of the newer bug - apologies for that :)
Good news - the fix is in!