Update branches for krb5-1.13

Author: tlyu

buildbot/master.cfg

@@ -87,7 +87,7 @@ c['schedulers'].append(Scheduler(name="master", branch='master',
                                  treeStableTimer=300,
                                  builderNames=buildernames('master', platforms)))
 
-for branch in ('krb5-1.9', 'krb5-1.10', 'krb5-1.11', 'krb5-1.12'):
+for branch in ('krb5-1.11', 'krb5-1.12', 'krb5-1.13'):
     c['schedulers'].append(Scheduler(name=branch, branch=branch,
                                      treeStableTimer=300,
                                      builderNames=buildernames(branch, platforms)))
@@ -144,7 +144,7 @@ f1.addStep(Compile(command="(cd src && make install DESTDIR=`pwd`/dest)", descri
 f1.addStep(Compile(command="(cd src && make distclean && echo 'checking git status' && if git status -s | grep '^ [DM]'; then exit 1; else :; fi)", description=["cleaning"], descriptionDone=["test", "clean"]))
 
 c['builders'] = []
-branches = ('master', 'krb5-1.9', 'krb5-1.10', 'krb5-1.11', 'krb5-1.12')
+branches = ('master', 'krb5-1.11', 'krb5-1.12', 'krb5-1.13')
 
 for platform in platforms:
     for branch in branches: