Dividends are run automatically on Havelock's script, I don't have control of the exact timing that dividends are issued. They actually always run a little after Noon.

Dividends are paid to whomever holds the MINE share at that time, so the new holder of the MINE shares received the dividends, as they should have. Just like SELL divs, be sure that they've been paid that day before selling on the market.