[mined/f16] update to 2012.20 version

[fantom]

Summary of changes:

  62c1e12... update to 2012.20 version (*)

(*) This commit already existed in another branch; no separate mail sent