Upgraded to Domino 8.5.1

I just upgraded the production environments to Domino 8.5.1.

4 Domino servers + Sametime 8.0.2 + Traveler 8.5.1 + BlackBerry Enterprise 4.1.6

And everything is working well – as expected. Well done, IBM.