Update CHANGES-jumbo.git (CREDITS-jumbo needed no update).