develop Merge pull request #6221 from psiinon/fix/6206

Cope with session mgmt type not present

thc202 authored GitHub committed

Push event #63.1 passed

  • Ran for
AMD64
JDK: openjdk8 Java
Git

We're sorry, but this data is not available anymore. Please check the repository settings in Travis CI.