Update CHANGES-jumbo.git and CREDITS-jumbo.