the file type of krb5-1.15.1 is wrong

[Prime]

hi, guys,


in the page: 
http://web.mit.edu/kerberos/dist/index.html#krb5-1.15


the file link: 
http://web.mit.edu/kerberos/dist/krb5/1.15/krb5-1.15.1.tar.gz


it's actually a tar file but tar.gz


please check.


thx.