Since changing the RecordId format in SERVER-67471, we also need to update the GDB printers.
Fix GDB pretty-printers for RecordId
- Assignee:
-
Jordi Olivares Provencio
- Reporter:
-
Louis Williams
- Votes:
-
0 Vote for this issue - Watchers:
-
3 Start watching this issue
- Created:
- Updated:
- Resolved: