--- Dependency check [begin] ---


--- Dependency check [end] ---



--- Distribution check [begin] ---

Version 1.51 - 2018-02-13 (EO)
Information: this ChangeLog entry matches the version number:
 Version 1.51 - 2018-02-13 (EO)

Now checking git repository...
Git repo already has tag devel-1.51 at HEAD, probably from earlier make dist.
It can be removed using 'git tag -d devel-1.51'

--- Distribution check [end] ---

Testing notest ... passed