Closed emmanueltouzery closed 1 year ago
fixes #14
that's pretty trivial. #14 mentions also the terminal, not sure what to do about that. But I tested the overseer list and it works fine with this change. Ping @Zeioth
LGTM thanks!
fixes #14
that's pretty trivial. #14 mentions also the terminal, not sure what to do about that. But I tested the overseer list and it works fine with this change. Ping @Zeioth