Skip to content
Prev Previous commit
Next Next commit
📜🤖 Added by blurb_it.
  • Loading branch information
blurb-it[bot] authored Aug 27, 2019
commit 151e39c59b9c7255d6db672d74ae20e32cbe5df6
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Makes sure that file URIs with multiple leading slashes (file:////, etc.) are properly round-tripped. Patch by Ashwin Ramaswami