+mirage-types.1.1.2, mirage.1.1.2 and tcpip.1.1.2
Merge pull request #1973 from mirage/master

+mirage-types.1.1.2, mirage.1.1.2 and tcpip.1.1.2