[gcc/marxin/heads/cc-renaming] Manual changes for .cc renaming.

[Martin Liska]

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

 b71d3591855... Manual changes for .cc renaming.

It previously pointed to:

 c6371887be4... Manual changes.

Diff:

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

  c637188... Manual changes.


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

  b71d359... Manual changes for .cc renaming.