> On 11 Aug 2021, at 09:57, Masahiko Sawada <sawada.m...@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/
