On Fri, Sep 18, 2015 at 12:18 AM, Euler Taveira <euler@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