[Tcwg-commits] [gcc] branch devel/c++-contracts created (now 493164dddd8)