Now I'm doing a Web search for the answer to gas smells and there are a variety of remedies out there:
1 - Remove Gasoline Odor From Clothing
To remove the odor of gasoline from clothing, place the clothing in a large bucket of cold water. Add two cans of coke to the water and a box of baking soda. Allow the clothes to soak for 24 hours. Then, hang the clothes on a clothes line to air dry. Finally, place the dry garment into the washing machine and launder as usual.
2 - Perfect solution.
Dawn direct Foam, apple vinegar, two cans beer.
1)set water level to medium
2)add six squirts of dawn
3)add 2 cups apple cider vinegar (smells nicer than other vinegar)
4)run normal cycle
5)drink the two beers
3 - Putting clothes with gas on them in the washing machine only makes things worse - including the washing machine. Instead hang them outside for a couple days while the gas evaporates, then wash them. I didn't need to use vinegar or anything after hanging clothes outside.
4- I tried everything listed on here for getting gasoline out of my jeans. None of it worked until I took a friends advice and used cotton balls dipped in pure vanilla extract. I let the cotton swabs sit on the clothing for about an hour and the smell was finally gone.
5 - Do you have another solution?