On Tue, Jan 31, 2023 at 10:59:59AM +0700, Bagas Sanjaya wrote: > On Mon, Jan 30, 2023 at 02:57:31PM -0800, Fan Wu wrote: > > What about wordings below instead? Thanks for the review! > > -IPE policy supports comments. The character '#' will function as a > -comment, ignoring all characters to the right of '#' until the newline. > +IPE policy supports comments. Any line which is prefixed with ``#`` will > +be ignored. This one is actually incorrect. The '#' can also appear at the end of a rule. So it is not only prefixed to a line. Other than this part, everything looks great, I will take them in the next version. -Fan > > ----------- > > Thanks. > > -- > An old man doll... just what I always wanted! - Clara
