f0cddd5353
mostly unrelated to the attributed PR, and the attributed submitter wasn't so much suggesting the patch for inclusion as providing it for clarity. PR: 9869 Submitted by: bde