Fixed bad link caused by race conditions on git merges.

Test: no time for that
Change-Id: Iffbba4ab2aa0751a406e031fe34e8e2c75e0abde
1 file changed