tree af6d51ce3720c40a64750c83afd06f9977a90aa0
parent 6bed974d1c51091c8210db41161d01d8b376d3bd
author Ian Zerny <zerny@google.com> 1673869102 +0100
committer Ian Zerny <zerny@google.com> 1673873137 +0000

Rename internal platform bit now it is only used for marker.

Change-Id: I790554f500b052f63495f5cc9f0aca454efb29e0