Avoid a duplicate id error in tab_spanner_delim().
#3288
The logs for this run have expired and are no longer available.
Loading
tab_spanner_delim().
#3288