diff options
author | selurvedu <selurvedu@users.noreply.github.com> | 2020-04-22 02:10:31 +0000 |
---|---|---|
committer | fiaxh <fiaxh@users.noreply.github.com> | 2020-04-22 20:13:24 +0200 |
commit | a74d44ad93fdbf637d6eccc7a116639287db207c (patch) | |
tree | fb6e208347e2bbadfeb96113c83d51184df50715 /plugins/openpgp | |
parent | 1f4899df166e35e1f10d811323c4a4933e824723 (diff) | |
download | dino-a74d44ad93fdbf637d6eccc7a116639287db207c.tar.gz dino-a74d44ad93fdbf637d6eccc7a116639287db207c.zip |
Fix mouse hover highlighting the wrong message
Fixes #795.
Diffstat (limited to 'plugins/openpgp')
0 files changed, 0 insertions, 0 deletions