Skip to content

Small fixes from remote-login MR

Just two small commits addressing some remarks from the last review at !139 (merged) .

Merge request reports