Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Code is leaking a std::hex, and causes subsequent sync_cout output to be in hexadecimal. Spotted by Lucas No functional change.
- Loading branch information