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