Re: Multiple head revisions after git pull (2.0rc1 --> 2.0)

[Willy-Bas Loos]

Op 3 nov. 2017 21:00 schreef "Rob Lewis" <groble...@mac.com>:

All of a sudden this list is generating lots of traffic and I would like to
unsubscribe, but I can't find out how to. Please help.


A bit of topic, but I think you should go to
https://lists.postgresql.org/manage/