tree c8d9a8858cd00b389de8c38a6cb3baaf8de18d90
parent ed8cc6ef804d988ea67bbe5212899362f8ec462e
author Ian Zerny <zerny@google.com> 1543222521 +0100
committer Ian Zerny <zerny@google.com> 1543222521 +0100

Don't insert a end-label if the local table is empty.

Change-Id: Ib9ed4d8999a108dd30d3cfa407bcc0cdab56c0f8