[Checkins] [zopefoundation/Zope] 6f7607: - Re-add a link to refresh the ZMI menu tree on th...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/zopefoundation/Zope
  Commit: 6f7607ab3825929ff2d987d3809d5f8b8577a7b2
      https://github.com/zopefoundation/Zope/commit/6f7607ab3825929ff2d987d3809d5f8b8577a7b2
  Author: Jens Vagelpohl <jens at netz.ooo>
  Date:   2017-11-03 (Fri, 03 Nov 2017)

  Changed paths:
    M CHANGES.rst
    M src/App/dtml/menu.dtml

  Log Message:
  -----------
  - Re-add a link to refresh the ZMI menu tree on the left. [ci skip]