K 10
svn:author
V 3
dim
K 8
svn:date
V 27
2016-02-24T21:41:28.142182Z
K 7
svn:log
V 104
Undo r295543, since the shrink wrapping bug was fixed upstream by Davide
Italiano and Quentin Colombet.

END