search

demokratie-live / democracy-client

DEMOCRACY App Client
https://www.democracy-deutschland.de/#!prototyp
Apache License 2.0
134 stars 28 forks source link

fix android search bug #1516

Closed ManAnRuck closed 2 years ago

ManAnRuck commented 2 years ago

Signed-off-by: Manuel Ruck github.com@manuelruck.de