[PUSHED][PATCH] Cleanup in Tools -> Options -> User Data

[Caolán McNamara]

On Mon, 2012-08-13 at 10:14 +0200, Miklos Vajna wrote:
> Please submit an updated patch that does not have this problem --
> otherwise the patch looks really great. :-)

I see this landed as 030df631a8830d7c3225c22d5e36c0ef88577b24 now, so
marking thread as pushed.

C.