[stable15] trim filename in webfrontend for windows compatibility#13978
Merged
MorrisJobke merged 1 commit intostable15from Feb 7, 2019
Merged
[stable15] trim filename in webfrontend for windows compatibility#13978MorrisJobke merged 1 commit intostable15from
MorrisJobke merged 1 commit intostable15from
Commits
Commits on Feb 1, 2019
- authored andcommitted
