Kristian Kjerstad
Results
1
comments of
Kristian Kjerstad
> Had the same issue and it's been solved by installing the right package: `sudo apt-get install libkrb5-dev` @mkomitee Would be nice to add this to the README / docs