Merge pull request #9149 from yuwata/fix-9107
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Mon, 4 Jun 2018 08:13:40 +0000 (10:13 +0200)
committerGitHub <noreply@github.com>
Mon, 4 Jun 2018 08:13:40 +0000 (10:13 +0200)
commitcb747347acc5ee1b8932c8177985db14cb33319c
tree1073ec4fae64c92b58701e4f3caed126c5cf85a2
parenta6dffbb7e7870125afd46c5fe4571d2ac1f2bc0e
parentd3c8afd0925189a7a2ae97b71327440e998befa7
Merge pull request #9149 from yuwata/fix-9107

path-util: introduce path_simplify()