tree 7c3491a2f56b918f1dea62d03898a3ec0e23181f
parent 7f4fd65c2a2b67bf9b705f57a2e9191c2f8a1770
author margaretha <margaretha@ids-mannheim.de> 1543324224 +0100
committer margaretha <margaretha@ids-mannheim.de> 1543325198 +0100

Fixed infinite skipTo and candidate list in NextSpans.

Change-Id: I92f950146c318a5a6b0b0b097121222951f4739c