Passed
Push — master ( bd747e...d2d433 )
by Tim
03:46
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.5
▶   ± 0
Head
Tim van Dijen  
Fix krb5 version
Base
Tim van Dijen  
Work around a bug in the krb5-extension