The master branch is now v16devel, and there is a REL_15_STABLE
branch. The buildfarm server's branches_of_interest.txt file
should be updated soon (Andrew?); but if you manually manage
the branches that your animals build, please update their
configurations.
regards, tom lane
