This reverts commit 9dcbb223.

Even though RELEASE is similar to FORGET, it must report back, or
tests will hang.