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

[Martin Liska]

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

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

It previously pointed to:

 2c62b5a6884... Merge branch 'master' into devel/sphinx

Diff:

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

  c00c06b... Merge branch 'master' into devel/sphinx
  63eb073... docs: docs: use ';' for function declarations. (part 3) (*)

(*) 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.