Remove redirections from Terminal to Channel
!382 (merged) we replaced almost all the references to Terminal
with Channel
. In this MR we remove the remaining ones.
Closes #214 (closed)
!382 (merged) we replaced almost all the references to Terminal
with Channel
. In this MR we remove the remaining ones.
Closes #214 (closed)