I've not long ago had the same problem except mine is a petrol, 10mm is roughly 1/2ltr.
I called Hyundai about it to vent my disapproval of poor service standards ( as the cabin filter hadn't been changed in two years and was filthy also ) and the waste of my oil which I supplied, they told me it should be fine but they would prefer to have the excess removed, I took my car back two weeks later and the service manager mentioned they had sacked the technician who had worked on my car - they supplied me with a new cabin filter "free of charge" and drained the excess oil.