Did it cause any damage? If not, I would simply take it to the local wash bay & hose it down. This happens to my '97 Jeep occasionaly and has never had any ill effect; I just hose it off at a wash bay.
Yes, Gasoline will remove any waxes on the area and may leave a stain. If this ever happens to me I clean the area with a polish like AIO and then put SG and a wax back on.
Easy does it. Its OK. gasoline will not dissolve or destroy your paint. Automotive paint is mean to take some serious abuse. That being said, nobody wants to have gas spilled on their car. Wash your car and then reapply your protectant. If it left any kind of blemish give it alittle polish before protecting. Everything will be alright.
