tree e8062f1ae1968e76128dba66ca72fef98445f26b
parent 41c3562dc4086dbdd57bc17a53b827ee541723aa
author Peter Harders <harders@ids-mannheim.de> 1594815301 +0200
committer Peter Harders <harders@ids-mannheim.de> 1594833185 +0200

Bugfix: intern tokenization

retr_info(): $_GEN_TOK_INT: text starting with 2 blanks is ignored
Change-Id: I06e8a157bc566fca4b44737230f9b3dc236d0a98