Github brought up to date with 0.72+