tree 871010b14671f24d94c7e657d68163265d8f95b1
parent 458a15f732c380dc4ef3b7dbcae2a6a8f5916f09
author Michael Jurka <mikejurka@google.com> 1383752254 +0100
committer Michael Jurka <mikejurka@google.com> 1383827870 +0100

Revert "Workaround for remove stuck (issue 11080792)"

This reverts commit f72693d907c67a539cdb6643f157fc0ba28c4268.