> On 11 Aug 2021, at 09:57, Masahiko Sawada <sawada.mshk@gmail.com> wrote:
> Additionally, refresh options as described in
> <replaceable>refresh_option</replaceable> of
> <literal>REFRESH PUBLICATION</literal> may be specified,
> except in the case of <literal>DROP PUBLICATION</literal>.
Since this paragraph is under the literal option “refresh”, which takes a
value, I still find your original patch to be the clearest.
--
Daniel Gustafsson https://vmware.com/