On 26 August 2016 at 18:28, Tom Lane <t...@sss.pgh.pa.us> wrote: > Also, I'd just as soon not move/rename things that don't really need it.
+1 Let's leave everything exactly as it is now... but put a small README in each directory to explain why files in it shouldn't be deleted to make space. That helps the few people who made such mistakes, but doesn't cause massive change as a result. -- Simon Riggs http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
