While looking at error messages downstream, I noticed a few hints and details in postgres which aren’t punctuated as per the style guide. The attached patch fixes the ones where it seemed reasonable to end with a period.
cheers ./daniel
errhint_punctuation.patch
Description: Binary data