id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc 5239,make uninstall uninstalls more than needed,strk,strk,"The `make uninstall` target under extension directories remove all extensions, not just the one installed by `make install` in that directory. It can also uninstall foreign extensions which may happen to have the same version as ours. Sounds dangerous.",defect,closed,medium,PostGIS 2.5.0,build,1.4.X,fixed,,