Bug 753628 - user options of wrong printer are used

[Michael Weghorn <m weghorn posteo de>]

Hello everybody,

three weeks ago, I opened a bug report that the options of a wrong 
printer are used in the print dialog in certain situations.
The bug report is here: 
https://bugzilla.gnome.org/show_bug.cgi?id=753628

I have also attached a patch that should fix this problem. I have not 
received any feedback yet. I am not certain whether any additional steps 
are required in addition to reporting the bug and attaching the patch.
Is it necessary to either write to this mailing list or to do anything 
else in addition?

In case nothing else is necessary and the patch is already being 
considered in some way, I apologize for disturbing you with this 
unnecessary email. I just was not sure and wanted to avoid that nobody 
is aware of the problem and the proposed patch and it gets "lost" 
somehow.

Best regards,
Michael