Merge pull request #9430 from kdeldycke/batch_file_home_expansion
authorSergey M <dstftw@gmail.com>
Sat, 7 May 2016 18:09:51 +0000 (18:09 +0000)
committerSergey M <dstftw@gmail.com>
Sat, 7 May 2016 18:09:51 +0000 (18:09 +0000)
Expand user's home in batch file path.


Trivial merge