[gcc/devel/sphinx] (8 commits) Merge branch 'master' into devel/sphinx

[Martin Liska]

The branch 'devel/sphinx' was updated to point to:

 193c48050a1... Merge branch 'master' into devel/sphinx

It previously pointed to:

 cf116c79158... Merge branch 'master' into devel/sphinx

Diff:

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

  193c480... Merge branch 'master' into devel/sphinx
  3788c4e... docs: add missing @item for the first item (*)
  7ed58b4... pch: Small cleanup (*)
  3b61f06... Do not ICE on ternary expressions when calculating value ra (*)
  01ad8c5... pragma: Update target option node when optimization changes (*)
  c8dcf64... Daily bump. (*)
  b8f7ff7... Replace gnu::unique_ptr with std::unique_ptr (*)
  0b52083... libgccjit: Add support for setting the link section of glob (*)

(*) This commit already exists in another branch.
    Because the reference `refs/heads/devel/sphinx' matches
    your hooks.email-new-commits-only configuration,
    no separate email is sent for this commit.