On Tue, Dec 24, 2019 at 12:12:54AM -0700, Zixing Liu wrote:
> Signed-off-by: Zixing Liu
> ---
> src/domain.rs | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
Reviewed-by: Sahid Orentino Ferdjaoui
> diff --git a/src/domain.rs b/src/domain.rs
> index 40a18d8..61ca411 100644
> --- a/src/d
Signed-off-by: Zixing Liu
---
src/domain.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/domain.rs b/src/domain.rs
index 40a18d8..61ca411 100644
--- a/src/domain.rs
+++ b/src/domain.rs
@@ -1546,7 +1546,7 @@ impl Domain {
}
}
-pub fn open_console(&sel