[Tcwg-commits] [gcc] branch devel/c++-contracts updated (24927438713 -> 0cda8a7e836)