jquery/jquery-mobile — pull request #6180 by jhogervorst (2013-07-16 21:21:18+00:00)
Title: Autogrow: calculated height contains border height

Fixes #6178