| commit | 71f072b3b2874aaba57076c6b34f247d7be5467e | [log] [tgz] |
|---|---|---|
| author | Peter Harders <harders@ids-mannheim.de> | Wed Jul 15 14:15:01 2020 +0200 |
| committer | Peter Harders <harders@ids-mannheim.de> | Wed Jul 15 19:13:05 2020 +0200 |
| tree | e8062f1ae1968e76128dba66ca72fef98445f26b | |
| parent | 41c3562dc4086dbdd57bc17a53b827ee541723aa [diff] |
Bugfix: intern tokenization retr_info(): $_GEN_TOK_INT: text starting with 2 blanks is ignored Change-Id: I06e8a157bc566fca4b44737230f9b3dc236d0a98