On Fri, Sep 18, 2015 at 12:18 AM, Euler Taveira <eu...@timbira.com.br> wrote: > Yeah, I know. [Too sleepy to be writing emails...] What I want to say is: > when we want to refer to an option, we usually add "option" after the quoted > name (in this case, it won't make sense). I propose to remove the quotation > because the way the sentence is written it seems we are referring to the > task instead of the option.
+1. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
