[SERVER-68251] Fix GDB pretty-printers for RecordId Created: 25/Jul/22  Updated: 29/Oct/23  Resolved: 24/Aug/22

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 6.2.0-rc0

Type: Bug Priority: Major - P3
Reporter: Louis Williams Assignee: Jordi Olivares Provencio
Resolution: Fixed Votes: 0
Labels: neweng
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Operating System: ALL
Sprint: Execution Team 2022-09-05
Participants:

 Description   

Since changing the RecordId format in SERVER-67471, we also need to update the GDB printers.



 Comments   
Comment by Githook User [ 24/Aug/22 ]

Author:

{'name': 'Jordi Olivares Provencio', 'email': 'jordi.olivares-provencio@mongodb.com', 'username': 'jordiolivares'}

Message: SERVER-68251 Fix GDB pretty printers for RecordId
Branch: master
https://github.com/mongodb/mongo/commit/763f86dafc32733e3adc88b78d8d38a143587a30

Generated at Thu Feb 08 06:10:18 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.