diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-02-14 16:10:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-14 16:10:25 +0100 |
commit | acb9f5008119eb6f9d7ca35d78e42ee8240501a8 (patch) | |
tree | e33aa0970319124fda445bc62648f0133b06a46c /doc | |
parent | 4a24ba6e77c7128e64dee31cf05f6960abdb8108 (diff) | |
parent | e3aa67792c86c690c391d97f4aedc3fae4ecef63 (diff) |
Merge pull request #25878 from hpvb/fix-25852
Don't crash if there's no application name
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions