Aw: RE: Re: Re: Re: Re: Proposal: st_remove_irrelevant_points_for_view() and st_remove_small_geometries()

[Sam Peters]

> I think it would be easier for people to comment if you did a formal pull request against github postgis mirror
 
Thank you very much for this hint.

I added two PRs, see https://github.com/postgis/postgis/pulls, and linked them in my Osgeo tickets (https://trac.osgeo.org/postgis/ticket/5705 and https://trac.osgeo.org/postgis/ticket/5706).