Revision 90d643c31221a1b1e3841a0a1f7a2b2f8d16d2d8 authored by Sebastian Holtermann on 30 October 2019, 10:09:28 UTC, committed by Brad King on 30 October 2019, 13:34:06 UTC
On Windows, `CollapseFullPath` called with a path that ends with a dot might return a file with the same base name but any extension. To make sure we get only the file with the requested header extension, pass the complete file name to `CollapseFullPath`. Fixes: #19892
1 parent 9278028
Computing file changes ...
