From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <marxin@sourceware.org>
Received: by sourceware.org (Postfix, from userid 1851)
	id D1C593858432; Tue,  8 Nov 2022 14:53:16 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D1C593858432
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1667919196;
	bh=sUCvvjgiZVIcRx+R0S1LuQDrEro4qVdW3GXKiI4sl5Q=;
	h=From:To:Subject:Date:From;
	b=GfA+UCRyb03K8xiVPaEHt3J8CBWf9mWnZxruaD4mF3KqGpHs4bnPLCHrK1R6+a4Le
	 xAIfpvQqVl4PNM0VwamQTESiXxsiNc8yavTqq6FEphqBRF16sd7HeiX60hmfih5BfJ
	 SJldhp5nEnoTiKYtt7P+eVioWY6L/nM0MbaEhUyY=
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Martin Liska <marxin@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc/marxin/heads/sphinx-final] (10 commits) FIXME: use temporary
 Intersphinx URL.
X-Act-Checkin: gcc
X-Git-Author: Martin Liska <marxin@gcc.gnu.org>
X-Git-Refname: refs/users/marxin/heads/sphinx-final
X-Git-Oldrev: 64d8b345eb09f1c3e070485a81db50e7d8619d96
X-Git-Newrev: 1531973a8cf6f9dc0bfa8fe036d4e435a5b0ad00
Message-Id: <20221108145316.D1C593858432@sourceware.org>
Date: Tue,  8 Nov 2022 14:53:16 +0000 (GMT)
List-Id: <gcc-cvs.sourceware.org>

The branch 'marxin/heads/sphinx-final' was updated to point to:

 1531973a8cf... FIXME: use temporary Intersphinx URL.

It previously pointed to:

 64d8b345eb0... FIXME: use temporary Intersphinx URL.

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  64d8b34... FIXME: use temporary Intersphinx URL.
  8b33b1d... FIXME: sphinx: add update_web_docs_git.py script
  2f635b5... sphinx: support installation if sphinx-build is missing
  f94b734... sphinx: sync latest changes
  e6e50f0... sphinx: do not use tm.rst.in with empty content
  e40bc0e... sphinx: fix cross manual references
  a3ace48... sphinx: add --with-sphinx-build
  0aadfb3... sphinx: use proper lexers for target macros
  1ed6f98... sphinx: ada: port to Sphinx
  7554ede... sphinx: jit: port libgccjit to shared Sphinx


Summary of changes (added commits):
-----------------------------------

  1531973... FIXME: use temporary Intersphinx URL.
  0028ec9... FIXME: sphinx: add update_web_docs_git.py script
  533954a... sphinx: support installation if sphinx-build is missing
  7053b69... sphinx: sync latest changes
  d2d892d... sphinx: do not use tm.rst.in with empty content
  1ebf5e4... sphinx: fix cross manual references
  f9afb17... sphinx: add --with-sphinx-build
  2bdd083... sphinx: use proper lexers for target macros
  ef1d35d... sphinx: ada: port to Sphinx
  580f76b... sphinx: jit: port libgccjit to shared Sphinx