Summary of changes: 22b62b3... Update to revision 5518 (*) 8ad5243... Update to revision 5522 (*) eceea4f... Change bug number format in changelog (*) (*) This commit already existed in another branch; no separate mail sent