Thank you, Jeff! I really appreciate you finding these patches long after I had posted them (resending them after the release freeze was something on my TODO list I had not yet gotten around to). Seeing your email response now out of the blue with no extra effort on my part was a nice surprise and wonderful treat!
FWIW, I just went and switched [1] the next-generation GCC packaging (that motivated this) in Nixpkgs over to the landed versions of these patches. It feels very nice to see more and more of the patches in there upstream! Thanks again, John [1]: https://github.com/NixOS/nixpkgs/pull/532033/files
