Re: Firefox 17 dev plugin

On 11/26/2012 03:34 PM, koma wrote:
> I tried to build - would be nice to master that because it will keep
> on happening every 6 weeks; Ubuntu updates FF even without asking and

That may be, but you can still exert control. I don't use Ubuntu, but
since it's based on Debian, you can use apt pinning:

https://help.ubuntu.com/community/PinningHowto

P.S. There's probably a FF config setting you can apply to disable
auto-update, but working knowledge of pinning will serve you in good
stead for other packages.

--
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To post to this group, send email to google-web-toolkit@googlegroups.com.
To unsubscribe from this group, send email to google-web-toolkit+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.