[gcc/marxin/heads/cc-renaming] Manual change.

[Martin Liska]

The branch 'marxin/heads/cc-renaming' was updated to point to:

 a4941d4492d... Manual change.

It previously pointed to:

 717543be178... Manual change.

Diff:

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

  717543b... Manual change.
  8f7e88d... Manual changes.
  d1a78e8... Manual changes.
  7b44375... Manual change.


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

  a4941d4... Manual change.