On Fri, Apr 14, 2017 at 11:25:48AM -0400, Peter Eisentraut wrote:
> On 4/14/17 01:49, Noah Misch wrote:
> > On Wed, Apr 05, 2017 at 01:43:42PM -0400, Peter Eisentraut wrote:
> >> On 4/5/17 02:56, Noah Misch wrote:
> >>> On Thu, Mar 23, 2017 at 11:21:39PM -0400, Peter Eisentraut wrote:
> >>>> I think the fix belongs into the web site CSS, so there is nothing to
> >>>> commit into PostgreSQL here. I will close the commit fest entry, but I
> >>>> have added a section to the open items list so we keep track of it.
> >>>> (https://wiki.postgresql.org/wiki/PostgreSQL_10_Open_Items#Documentation_tool_chain)
> >>>
> >>> [Action required within three days. This is a generic notification.]
> >>
> >> I will work on this next week. I believe I will be able to provide a
> >> patch for the web site CSS by April 12, but ultimate success will likely
> >> depend on the collaboration of the web team.
> >
> > This PostgreSQL 10 open item is past due for your status update. Kindly send
> > a status update within 24 hours, and include a date for your subsequent status
> > update. Refer to the policy on open item ownership:
> > https://www.postgresql.org/message-id/20170404140717.GA2675809%40tornado.leadboat.com
>
> A patch for the web site CSS has been proposed but it is not getting the
> same urgent attention. I will report back by Tuesday.
Uh, unless I am missing something, I think it has been applied to pgweb,
specifically on April 12:
https://github.com/postgres/pgweb/commits/master
and this April 12 commit fixed the heading color:
https://github.com/postgres/pgweb/commit/c513457da76a4d864f706c21312d3def1fc8f8c8
I think the only open issue is the JavaScript CSS font fix that has a
posted patch here:
https://www.postgresql.org/message-id/20170408015201.GA18573@momjian.us
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +