tree dc9e32f3f196d7322a48042990992f24cab31e25
parent 887f0d2dac5a0eeffa4011e6360eba15b59058e9
author Antonio Barone <syntonyze@gmail.com> 1546868070 +0000
committer Antonio Barone <syntonyze@gmail.com> 1546868070 +0000

Make additionalUserInfoPath optional

additionalUserInfoPath should not be required: this change makes command
line argument happy when no addtionalUserInfoPath is provided.

Change-Id: Idd404fed0e7390fbfd9c29423b857d729c25bba2