Changes since tag 4.7.6

commit 233e1c34cc971d43b11b613b96e790e2da1b52f8
Author: Hendrik Leppkes <h.leppkes@gmail.com>
Date:   Sun Feb 19 07:43:32 2017 +0100

    7.2 removed the HelpMicroButton, so we don't need to handle it anymore.

