Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Resurrect GDB index generation (RhBug:1410907)
Commit 54d30ac broke GDB index generation due to a leftover "[". In git master this got fixed in commit 67d3df3 but we don't want that on 4.13.x because there are behavior changes involved, so fixing this specifically on the 4.13.x branch.
- Loading branch information