-
Matt Turner authored
This reverts commit e8c9e651. With the actual bug fixed (by commit 6ac2d169), this is not necessary. I'm doubtful of its correctness in any case.
a31d0382
This reverts commit e8c9e651. With the actual bug fixed (by commit 6ac2d169), this is not necessary. I'm doubtful of its correctness in any case.