Did absolutely nothing at all. Just a shame about my fave pool being out of action, which meant no dip. I did go and sit on the ground next to the kids' pool so I could dangle my feet in the water, which was lovely... except I couldn't get up again! My knees don't work well and I haven't been able to kneel since several falls on ice wrecked them.
It took the rather middle-aged lifeguard on duty to get me on my feet again! Mercifully the Italians round the pool didn't bat an eyelid, but I won't be doing that again!