tree 5282e839668c15f6f531a892d8eafb1c6b4fdae1
parent 5fa153302c1c7f179bfd6ddd301e7526b8c06de5
author Tammo Spalink <tammo@google.com> 1240383211 +0800
committer Tammo Spalink <tammo@google.com> 1240558511 +0800

remove seemingly now unnecessary workaround path