From: Ingo Bürk Date: Mon, 31 Jul 2017 09:48:10 +0000 (+0200) Subject: Merge pull request #2847 from tmerr/next X-Git-Tag: 4.14~16 X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=e4da07e734c38a1394babd34d6a4bd4de9c2c173;p=i3%2Fi3 Merge pull request #2847 from tmerr/next Document missing case of workspace event --- e4da07e734c38a1394babd34d6a4bd4de9c2c173