Merge pull request #7763 from jrheard:patch-1
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 1 Dec 2016 18:04:55 +0000 (18:04 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 1 Dec 2016 18:04:55 +0000 (18:04 +0000)
commit4f7453be8699c186c31c9f4961986f191e892b21
treea23453d466a82e55b9353e60f84102260f4d4de1
parentc99097f89a201d3f32bdfe744b128be451dc6ba4
parent47f53b675d4e0d430b8c4caea31ae13ab4bf5216
Merge pull request #7763 from jrheard:patch-1