[wesnoth-commits] [wesnoth/wesnoth] e3cf61: Fix doccomment warning (again!)

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: e3cf617d8a87e80773ba2c75c72093d8de5055e2
      https://github.com/wesnoth/wesnoth/commit/e3cf617d8a87e80773ba2c75c72093d8de5055e2
  Author: Gregory A Lundberg <gregory_lundberg at gmx.com>
  Date:   2018-10-30 (Tue, 30 Oct 2018)

  Changed paths:
    M src/gui/core/event/dispatcher.hpp

  Log Message:
  -----------
  Fix doccomment warning (again!)

I could swear I fixed this a few days ago. *sigh*



      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.