> On 6 Dec 2018, at 05:46, Michael Paquier <mich...@paquier.xyz> wrote: > > On Wed, Dec 05, 2018 at 05:22:25PM +0100, Daniel Gustafsson wrote: >> 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. > > Good point. I am spotting a couple more places: > src/backend/utils/misc/guc.c:
Ah, for some reason I hadn’t thought about looking at the GUCs. I agree with your findings, patch updated. cheers ./daniel
errhint_punctuation-v2.patch
Description: Binary data
