[gcc/marxin/heads/stabs-removal] (3 commits) Replace DBX_REGISTER_NUMBER with DEBUGGER_REGISTER_NUMBER

[Martin Liska]

The branch 'marxin/heads/stabs-removal' was updated to point to:

 6bb2fc1d34d... Replace DBX_REGISTER_NUMBER with DEBUGGER_REGISTER_NUMBER

It previously pointed to:

 a6b2704f14d... Remove one documentation entry.

Diff:

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

  a6b2704... Remove one documentation entry.
  3b7da14... Replace DBX_REGISTER_NUMBER with DEBUGGER_REGISTER_NUMBER


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

  6bb2fc1... Replace DBX_REGISTER_NUMBER with DEBUGGER_REGISTER_NUMBER
  6225547... Remove one documentation entry.
  909cc60... Make the option removed.