
We can now remove that file since https://review.rdoproject.org/r/#/c/21749/ has merged. Change-Id: I80a7220c0100ffb15c210b1bccc72e4d9217c23f
We can now remove that file since https://review.rdoproject.org/r/#/c/21749/ has merged. Change-Id: I80a7220c0100ffb15c210b1bccc72e4d9217c23f