Cancelled transaction. What next?

My buyer's funds were marked "payment initiated " and he cancelled the transaction. EBay tells me that I don't have to do anything. Does the buyer automatically get a refund or do I have to apply through either ebay or PayPal?