Summary of changes: 50a07ff... Update to 12.04 (*) a0157ca... 2013.12.09.4 (*) c2bedf5... Update to 12.17.2 (*) 46d6485... Merge branch 'master' into el6 (*) This commit already existed in another branch; no separate mail sent