You are right of course about the numbers, sorry -- juggling too many at once and ending up with bad copy-pastes.
The problem seems to be the same as described in bug #957409 which, in turn, is another manifestation of bug #953649, so all three should have been fixed by now.
Hi Peter,
You are right of course about the numbers, sorry -- juggling too many at once and ending up with bad copy-pastes.
The problem seems to be the same as described in bug #957409 which, in turn, is another manifestation of bug #953649, so all three should have been fixed by now.