From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1499) id 01FC23857377; Tue, 25 Oct 2022 14:04:39 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 01FC23857377 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666706680; bh=yHN08uaWSkphtXrdloQeBAi/qGBtuFhlK2YhKqAVrAE=; h=From:To:Subject:Date:From; b=Khcnk+Xk/J8CFMvxismy/9hW/qiqo5RBVsHk4EIrrA7Mv8+xmaR+27f4brnlrEsk5 m98UavuDW+WH50BZrrJ3IjXwsY+kfU5/K1ip+08+i+lts8Iar++iuStTiymTagmAQ2 g0bsXNS68xIyJHfc6X+uMB/ftx2f5kY4tR9wFoK8= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Gaius Mulley To: gcc-cvs@gcc.gnu.org Subject: [gcc] Deleted branch 'gaius/heads/gcc12m2' in namespace 'refs/users' X-Act-Checkin: gcc X-Git-Author: Gaius Mulley X-Git-Refname: refs/users/gaius/heads/gcc12m2 X-Git-Oldrev: 589bf05835e017f8f895a028de80bda9602799db X-Git-Newrev: 0000000000000000000000000000000000000000 Message-Id: <20221025140440.01FC23857377@sourceware.org> Date: Tue, 25 Oct 2022 14:04:39 +0000 (GMT) List-Id: The branch 'gaius/heads/gcc12m2' in namespace 'refs/users' was deleted. It previously pointed to: 589bf05835e... Daily bump.