It was originally added because proper detection was not working on Debian, but that has been fixed since. It was causing annoying warning by default when prefix is /usr/local that can only be avoided by setting options.pull/10134/head
parent
1be444b464
commit
54213683e2
1 changed files with 0 additions and 9 deletions
Loading…
Reference in new issue