Hi,
On Thu, Jul 8, 2021 at 10:14 PM Daniel Gustafsson <daniel@yesql.se> wrote:
>
> > On 8 Jul 2021, at 15:00, Masahiko Sawada <sawada.mshk@gmail.com> wrote:
>
> > I think we can improve it by changing to
> > '<replaceable>refresh_option</replaceable>'. Thoughts?
>
> My first thought was that the existing wording is clearer, referring to
> “options to refresh”. But thinking on it more, it’s easy to see someone
> confusing the options part as referring to the (bool) “option” to refresh
> rather than refresh_option. I think your version is an improvement.
Thanks for your comments!
I've added this patch to the next commitfest so as not to forget.
Regards,
--
Masahiko Sawada
EDB: https://www.enterprisedb.com/
