tree 3671c17eddc78f676ec3af04569d2e7e65137bd8
parent cb477fe587692f6492a5d9a2d2c8d5501257f00c
author Søren Gjesse <sgjesse@google.com> 1563266287 +0200
committer Søren Gjesse <sgjesse@google.com> 1563270223 +0000

Move construction of marker to internal options

Change-Id: I5c617faa9c426ab231b54f3427130eaf29534af7