Sorry, the correct commit-id was the following.
commit 08a5df03a3da67da507b2713e15ed1efdd09dc6e Merge: dc9a941 8fc307f Author: Jenkins <email address hidden> Date: Wed Jun 8 15:04:52 2016 +0000
Merge "Fix coverage option" into stable/liberty
Sorry, the correct commit-id was the following.
commit 08a5df03a3da67d a507b2713e15ed1 efdd09dc6e
Merge: dc9a941 8fc307f
Author: Jenkins <email address hidden>
Date: Wed Jun 8 15:04:52 2016 +0000
Merge "Fix coverage option" into stable/liberty