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

Cope with session mgmt type not present

thc202 authored GitHub committed

Push event #63.2 passed

  • Ran for
AMD64
JDK: openjdk11 Java
Git

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