Perspective... the PR was clear that the stock dividends were to be given to shareholders of record as of June 10th.
So I would say you should not have gotten the dividend. If you did, congrats! if it is free-trading, be very careful if you sell them as you might have to repurchase them in the open market to close out a short position. Check with your broker.