#284 PR merged: Update the TIP message for the new ssh option¶

Florent38 opened issue at 2013-07-17 08:16:¶

---

[Export of Github issue for rear/rear.]