Closed jhshi closed 7 years ago
Actually on a second thought, maybe we should print stdout whenever it's not empty in any view. PR updated accordingly.
Actually on a second thought, maybe we should print stdout whenever it's not empty in any view. PR updated accordingly.