fix: Possible NPE when no menu previously existed
authorBenny Baumann <BenBE1987@gmx.net>
Sun, 31 Jul 2016 12:16:37 +0000 (14:16 +0200)
committerBenny Baumann <BenBE1987@gmx.net>
Sun, 31 Jul 2016 15:03:14 +0000 (17:03 +0200)
commita027342432533e219e18950a3d27abd64a1f64ba
tree9ab52740ce128a4b6c4a28cba41c7bea391140b5
parentf026ca44afbe85ae41aca180c0771492f0122ad2
fix: Possible NPE when no menu previously existed

Change-Id: I2cc63e42b339a6ab3a5e482b22ef6010f42388ac
util-testing/org/cacert/gigi/DevelLauncher.java