Revisions of krb5 14
Service triggered by the 'deepin-community' token via Github push 2701e06 on master.
Service triggered by the 'deepin-community' token via Github push 2036321 on master.
Service triggered by the 'deepin-community对接OBS' token via Github push f5402b3 on master.