Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ignore-this: e25b20f012fbe14a22c5ff4113de9cd6 The "Redefine Backend" restart in REGISTER-BACKEND did not work as advertised (it did not register the new backend at all). This patch makes sure the old backend is removed and the new one is added. darcs-hash:20100129161309-55f2f-d3e841cb2d573706d9936e213d664e02abf8cf9a.gz
- Loading branch information