v1.0.2
67ce95a4 · Fix my completely wrong assumptions: Basically, switching tabs now actually works! · May 25, 2019