mirror of
				https://github.com/postgres/postgres.git
				synced 2025-10-31 10:30:33 +03:00 
			
		
		
		
	Without this, statistics changes accumulated by the worker never get reported to the stats collector, which is bad. Julien Rouhaud
Without this, statistics changes accumulated by the worker never get reported to the stats collector, which is bad. Julien Rouhaud