Fix removal of include directories by make uninstall
#2958
The logs for this run have expired and are no longer available.
Loading
make uninstall
#2958