Update patch set 2
Patch Set 2:
The 9b1d398685
introduced an
unrelated change of 'src/host/layer23/.gitignore'. Probably,
this was accidentally done during some rebase process
in the past...
@Harald, should I correct this in a separate change?
Or is it ok to recover here?
Patch-set: 2
This commit is contained in:
parent
90d86485b2
commit
8d14e989bd