Fix tooltips removal on smartphone
authorBenjamin Auder <benjamin.auder@somewhere>
Wed, 8 Apr 2020 18:36:47 +0000 (20:36 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Wed, 8 Apr 2020 18:36:47 +0000 (20:36 +0200)

No differences found