commit | ea90e85be1435b08bfe26b7abf598b5bf7340d72 | [log] [tgz] |
---|---|---|
author | Christopher Gerking <christopher.gerking@upb.de> | Wed Apr 15 19:41:32 2020 +0200 |
committer | Ed Willink <ed@willink.me.uk> | Tue May 05 12:16:12 2020 +0100 |
tree | 9a809be01fdc9625c7f59ca461e68b3f404c6175 | |
parent | 6361b206c91a5dd6a951acc94385a18c99c2e5b9 [diff] |
[562177] Get rid of unnecessary conversion from URI to URL