[gcc/marxin/heads/sphinx-v7] (3 commits) sphinx,ada: port to Sphinx

[Martin Liska]

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

 1318aec1dd7... sphinx,ada: port to Sphinx

It previously pointed to:

 6bb17ee050c... sphinx,ada: port to Sphinx

Diff:

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

  6bb17ee... sphinx,ada: port to Sphinx
  5a22255... sphinx: port libgccjit to shared Sphinx
  970163c... sphinx: remove texinfo files


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

  1318aec... sphinx,ada: port to Sphinx
  18fafb1... sphinx: port libgccjit to shared Sphinx
  964ae29... sphinx: remove texinfo files