-
Francois-Rene Rideau authored
This should make Daniel K happy. Also remove obsolete cleaning of locate-system cached results, for we haven't cached the result since 00256418 (3.1.2.9, 2014), that this commit partly undoes, partly re-does (due to merge conflict at the time).
438e1a97