Summary of changes: efc0fbc... New snapshot with several fixes and new BIOS types (*) c100c41... dist-git conversion (*) c0fbfec... New git snapshot (*) eb6f0f1... Merge branch 'master' into f13/master (*) This commit already existed in another branch; no separate mail sent