Hi, On Thu, Jul 8, 2021 at 10:14 PM Daniel Gustafsson <dan...@yesql.se> wrote: > > > On 8 Jul 2021, at 15:00, Masahiko Sawada <sawada.m...@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/
