-
Michael Catanzaro authored
Suggested by Garnacho. Hopefully fixes #1349. Note: I'm riskily committing this via web UI not because I'm lazy (though I am :) but because I'm seeing a weird host key when I try to push or pull from GitLab.
b4464e12
Suggested by Garnacho. Hopefully fixes #1349. Note: I'm riskily committing this via web UI not because I'm lazy (though I am :) but because I'm seeing a weird host key when I try to push or pull from GitLab.