DISPATCHED_POP - explanation

[Lars Gullik Bjønnes]

Can someone (Andre), please explain do me what DISPATCHED_POP is used
for? And add some documentation for it to dispatchresult.h?

In the vein of the other dispatch_result_t values... would
FINISHED_POP be a better name?

-- 
        Lgb