Similar to bug 1204859, but with user_thd trashed instead of upd_buf. Same way to proceed as with that bug.
Similar to bug 1204859, but with user_thd trashed instead of upd_buf. Same way to proceed as with that bug.