Thanks, I'll push it now. (FWIW this just made the state of the icon not change properly during loads, the functionality was working just fine. Otherwise hopefully we'd have noticed way sooner ;))
Xan On Thu, Mar 21, 2013 at 6:05 PM, Frederic Peters <[email protected]> wrote: > Xan Lopez wrote: > >> So a small bug in the porting to WebKit2 that we seemingly totally >> forgot to do: https://bugzilla.gnome.org/show_bug.cgi?id=696301 >> >> Simple thing, very safe. > > I'll trust you on this, 1 of 2. > > > Fred _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
