diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2017-07-21 10:47:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-21 10:47:51 +0200 |
commit | fb3fc5e739990bb9d1c7c3368fb4b9d385ddd0b4 (patch) | |
tree | 780a0fa57118598b75fcdc1738c7eb50a6661601 /configgen/src/main/manifest.mf | |
parent | f7842d051001d52693492b8220659e760be11a3e (diff) | |
parent | b5cf9d54eeb58a0464c72d78cba2a2e6f78dc244 (diff) |
Merge pull request #2984 from yahoo/bjorncs/dont-trigger-finalization
Triggering finalization does not guarantee that phantom references ar…
Diffstat (limited to 'configgen/src/main/manifest.mf')
0 files changed, 0 insertions, 0 deletions