tree ca19ec033a3331cbd7987e0713adc2070708d03c
parent ba7a04903b3e9dad3a38356707b96ffec27e774f
parent 1be6c1c4914e7dfeef17e72717f7a100d0d38d89
author Akron <diewald@ids-mannheim.de> 1579010968 +0100
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1579010968 +0100

Merge "Show busy indicator while waiting for query results - fixes #104"