How to clear the DNS cache of Opera

I didn't find an easy way to do it, but restarting the browser seems to do the trick.