A fixed version of tigervnc was released which should fix this bug as well. If it doesn't, please reopen.