On Sun, Jan 19, 2020 at 7:58 PM Heikki Linnakangas <hlinn...@iki.fi> wrote: > > > On Wed, Jan 08, 2020 at 02:33:23PM +0200, Heikki Linnakangas wrote: > >> Grepping around, there are a few stray references to > >> postgres.description still: > >> > >> $ git grep -r -I postgres.shdescript . > >> src/backend/catalog/.gitignore:/postgres.shdescription > >> src/backend/catalog/Makefile:# postgres.bki, > >> postgres.description,e0ed6817c0..7aaefadaac > >> postgres.shdescription, > >> src/tools/msvc/clean.bat:if %DIST%==1 if exist > >> src\backend\catalog\postgres.shdescription del /q > >> src\backend\catalog\postgres.shdescription > > Pushed, thanks!
Thanks for taking care of those loose ends -- that was a bit sloppy of me. -- John Naylor https://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services