So, Firefox 12 source has been out for a while, but due to getting married I haven't had the time to do a build. The thing is, it looks like 13 will be out very shortly. So, straw poll, does anybody need 12 or shall I wait for 13?