Armin Schrenk 4d5f6cbb52 update migration dialogue

2020-04-27 13:17:31 +02:00

..

buildkit

Merge branch 'master' into develop

2020-04-16 13:05:34 +02:00

commons

fixes #1123

2020-04-24 11:21:59 +02:00

keychain

Merge branch 'master' into develop

2020-04-16 13:05:34 +02:00

launcher

Merge branch 'master' into develop

2020-04-16 13:05:34 +02:00

ui

update migration dialogue

2020-04-27 13:17:31 +02:00

pom.xml

Apply upstream fix helping us to debug #1125

2020-04-21 12:37:55 +02:00