Drop "ignore-known-hosts-file" option (!1206) · Merge requests · nexedi / slapos · GitLab

Merged Jérome Perrin requested to merge fix/ignore-host-key into master Jul 07, 2022

This was added for reasons that are not true anymore

Edited Jul 08, 2022 by Jérome Perrin