Pulse 2 1.3.0 to 1.3.1 upgrade notes

• pulse2/launchers/launchers.ini
  • default value for sshkey_default is now /root/.ssh/id_rsa.pub (was: /root/.ssh/id_dsa.pub)