Bug#736602: [gnome-shell] Run command prompt keeps showing after screen is locked

[Sophoklis Goumas]

Sorry, for filling the bug upstream too, I was unaware of this:

Don't file bugs upstream

If you file a bug in Debian, don't send a copy to the upstream
software maintainers yourself, as it is possible that the bug exists
only in Debian. If necessary, the maintainer of the package will
forward the bug upstream.

Source:
How to report a bug in Debian using reportbug,
http://www.debian.org/Bugs/Reporting

As can be seen in the upstream bug report this has been RESOLVED as FIXED.

Sophoklis