Summary of changes: 6bb0002... New version. (*) a16f59a... Fix infodir list. (*) bf05a0b... Update to 20131209 (*) This commit already existed in another branch; no separate mail sent