Revert "undone : fix logging output in `redo`"

This reverts commit 78497633a522a7952ef35d021c565a1e6306f47a.