I think "end_marker" is a good name, but better ones may be suggested. It's a lot easier to change it now.
« Back to merge proposal
I think "end_marker" is a good name, but better ones may be suggested. It's a lot easier to change it now.