New Upstream Release - boogie

No successful merges for boogie

A new upstream version is available: 2.7.9