change ui_reg_destructor behavior: registered destructors are called before the context mempool is destroyed

(0) -1000 -300 -100 -30 -10 -1 +1 +10 tip

mercurial