I seem to have posted somewhat hastily. If this bug has been marked as Fix Released, maybe we should file a new bug?
I seem to have posted somewhat hastily. If this bug has been marked as Fix Released, maybe we should file a new bug?