xfce4-dev-tools-4.12.0 protected

Harald Judt

@hjudt

18b2e20e · Updates for release · Feb 28, 2015

4.12.0
======

- Bump version.
- Require xfce4-panel-4.11 for panel plugins.
- Restore AC_REVISION.