My personal opinion is that the bug nature, its details and effect on gnome-shell are clearly outlined now. I am not a developer and certainly not in the position to evaluate a bug importance or its priority. Unless a patch is proposed, simple complaining does not help. Likely, as more users move to GNOME, the bug would gather higher priority as an effect of more people being affected.
My personal opinion is that the bug nature, its details and effect on gnome-shell are clearly outlined now. I am not a developer and certainly not in the position to evaluate a bug importance or its priority. Unless a patch is proposed, simple complaining does not help. Likely, as more users move to GNOME, the bug would gather higher priority as an effect of more people being affected.