magnumripper/JohnTheRipper — pull request #198 by frank-dittrich (2013-01-25 18:03:16+00:00)
Title: Benchmark-unify: map KRB5 format names

Even though these names have only been used in 1.7.9-jumbo-7+unstable
and 1.7.9-jumbo-8-unstable, make sure they are mapped to the names
that will be used for 1.7.9-jumbo-8.