[crux-commits] ports/opt (3.1): [notify] firefox: updated to 31.0. Patches several vulnerabilities: