On Fri, May 12, 2017 at 07:42:27PM -0400, Tom Lane wrote:
> Bruce Momjian writes:
> > On Tue, May 2, 2017 at 12:35:06PM -0400, Peter Eisentraut wrote:
> >> It has been pointed out a while ago that the "release date" formatting
> >> in the release notes is too flamboyant, more so under the new sty
Bruce Momjian writes:
> On Tue, May 2, 2017 at 12:35:06PM -0400, Peter Eisentraut wrote:
>> It has been pointed out a while ago that the "release date" formatting
>> in the release notes is too flamboyant, more so under the new stylesheets.
>>
>> Here is a patch to make the formatting a bit more
On Tue, May 2, 2017 at 12:35:06PM -0400, Peter Eisentraut wrote:
> It has been pointed out a while ago that the "release date" formatting
> in the release notes is too flamboyant, more so under the new stylesheets.
>
> Here is a patch to make the formatting a bit more subdued. (Obviously,
> this
