v5.0.2
bb3a5e0a
·
fix: navigating with pinned hover unpins
·
Dec 21, 2018