Update CHANGES-jumbo.git (CREDITS-jumbo needed no change).
Merge branch 'bleeding-jumbo' into bleeding-mask

* bleeding-jumbo:
  Update CHANGES-jumbo.git (CREDITS-jumbo needed no change).