On Mon, 2016-01-18 at 10:06 +0100, IOhannes m zmoelnig wrote:
afaict, the mainly difference is that it now searches each path for all the different extensions (rather than searching for each extension in all the paths). this *is* different behaviour (and i do think that it is an advantage).
Oh, great! This *is* an improvement. Thanks!
Roman