Merge "Avoid manifest marked modified during broken build"
commit70ae5d4689fc7034991aec3d871a9031f2dae574
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 7 Mar 2020 23:46:55 +0000 (7 18:46 -0500)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Sat, 7 Mar 2020 23:46:55 +0000 (7 18:46 -0500)
tree46e6f4f34f29f63c0e264ab2abbb1a023c78ef0a
parente5a70f00e149f0f5e373609edd464cdee9a51413
parent8331145d097ba45e88a004f3e18c9896608be75f
Merge "Avoid manifest marked modified during broken build"