[pacman-dev] [PATCH] Flush output of pacman debug times