tree 8d10b18b284013a63e542594bc7ecfc4bbcd2145
parent d47c67e5ba3fc8c3f815fca196ddf37020920797
author Akron <nils@diewald-online.de> 1650099706 +0200
committer Akron <nils@diewald-online.de> 1650099706 +0200

Rename token_symbol to token_bound

Change-Id: I3e4f35c1fc65b542e948659d94437e818fc1f136