jquery/jquery — pull request #787 by Krinkle (2012-05-21 09:45:43+00:00)
Title: Update version.txt to 1.8.0pre

The 1.8pre branch got merged in already. So even if we would release a 1.7.3 before 1.8.0 it shouldn't be based on the current master HEAD.