Re: [DOCS] Missing COMMENT ON POLICY

Charles,

Just FYI, on these lists, we'd prefer it if you wouldn't top-post.

* Charles Clavadetscher (clavadetscher(at)swisspug(dot)org) wrote:
> Yes, of course. I will take care of that and send a new patch.

Thanks!

> Who will then git push it?

I'd be happy to take care of it, though any of the committers may pick
it up, of course. If there's a concern about the patch being missed or
forgotten then it can be added to the commitfest system (here:
http://commitfest.postgresql.org) I don't believe there's a risk of
that here, but you're welcome to add it if you'd like, of course.

> Thank you for your feedback.

Thank you for working on this!

Stephen