Thanks. Luckily propane is treated with mercaptan to make sure you smell it.
Some of the people here are recalling incidents that took place a very long time ago. This article should be a good reminder that if you smell gas in your RV that you should figure out where it is coming from. I have various detectors and most of them were not expensive.
I cannot tell you how many natural gas and propane leaks that I responded to during my career. Many were actually odors coming from rotting garbage, but a few of the big ones required us to evacuate a lot of people, until we and/or the gas company could get things under control.