Merge pull request #1493 from christos-P/patch-1
authorJan Kotas <jkotas@microsoft.com>
Fri, 4 Sep 2015 17:46:39 +0000 (10:46 -0700)
committerJan Kotas <jkotas@microsoft.com>
Fri, 4 Sep 2015 17:46:39 +0000 (10:46 -0700)
commit1f609113d5bbf2036b3a51391755c2c9646165c8
treeca729d39ef00d365a49ce50c413945ae2f6ea241
parenta94621aa1fd7544490009baaf00ef3a3536052fc
parent090aa8e939a5fcd83b75350ab8dcab95c60a4f65
Merge pull request #1493 from christos-P/patch-1

minor correction