]> xmof Git - DeDRM.git/commitdiff
Merge pull request #490 from wzyboy/backports/infer-filename
authorApprentice Harper <apprenticeharper@gmail.com>
Sat, 5 May 2018 17:39:34 +0000 (18:39 +0100)
committerGitHub <noreply@github.com>
Sat, 5 May 2018 17:39:34 +0000 (18:39 +0100)
Infer filenames consistently


Trivial merge