1691     } else {

  1691     } else {

  1692       st->print("Server 2012 R2");

  1692       st->print("Server 2012 R2");

  1693     }

  1693     }

  1694     break;

  1694     break;

  1695 

  1695 

  1697     if (is_workstation) {

  1697     if (is_workstation) {

  1698       st->print("10");

  1698       st->print("10");

  1699     } else {

  1699     } else {

  1700       // The server version name of Windows 10 is not known at this time

  1700       // The server version name of Windows 10 is not known at this time

  1701       st->print("%d.%d", major_version, minor_version);

  1701       st->print("%d.%d", major_version, minor_version);