I've branched off REL_13_STABLE and stamped HEAD as 14devel.
If you use run_branches.pl to manage branches for your buildfarm
critters, you don't have to do anything; your animals should start
building the v13 branch as soon as Andrew updates the server's
branches_of_interest.txt list. If you schedule branch builds
some other way, please update your recipe to include REL_13_STABLE.
regards, tom lane
