Gas production up in October