Skip to content

Add libkrb5-dev dep

Vagrant fails because libkrb5-dev isn't installed. Add the package to the apt-get install line.

Merge request reports