#998: Show query and time information when using --query-time#1010

Merged

goetas merged 1 commit intodoctrine:masterfrom bobvandevijver:improve-query-time

Jun 22, 2020

+17-12

Commits on Jun 19, 2020

doctrine#998 : Show query and time information when using --query-time
bobvandevijver
committed