Preserve non-synthesizable StateElement attribute in clone.#4418

copybara-service[bot] wants to merge 1 commit into

maingoogle/xls:mainfrom

test_933890451google/xls:test_933890451Copy head branch name to clipboard