On 04/17/2014 01:35 AM, Tom Lane wrote:
> I'll go change it.
Thanks for fixing this. The new name "Execution time" is much clearer.
--
Andreas Karlsson
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера