What's new in gnome-mag-0.12.2: * Fix for serious update bug which made high magnification factors work poorly. * Fix for #167705, which improves our tracking of cursor changes.