Hi,
As the subject says, I see PR's here:
#1194
and here
#872

to support ssh_config Include files, but they all seem to just sit there, and get stale without actually being merged? What would be the reason for this?

Thanks!