v1.16.1
erzo's avatar
erzo
@erzo
19401171 · Merge branch 'dev' · 
v1.16.1

bugfix for v1.13.0: update details view after gg/G/gt/gT/search