better logging; properly detect whether the bell button was newly pressed
authorRalf Jung <post@ralfj.de>
Mon, 14 Oct 2013 19:47:26 +0000 (21:47 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 14 Oct 2013 19:47:26 +0000 (21:47 +0200)

No differences found