OpenSSH IP-shortening

Today I wanted to connect to my server via ssh, I made a typo and the result was amazing

Instead of writing:
$ ssh root@10.0.0.1
I typed:
$ ssh root@10.0.01

And it worked! It connected successfully to the server. I thought this makes sense because even though the point is missing, the ip is still defined uniquely.

Well then I combined these findings with the IPv6 strategy, where you leave 0′s simply away. So I tried:
$ ssh root@10.1

And I was even more amazed It worked! I knew that the OpenSSH devs are awesome, but didn’t expect them to be “that” awesome