Merge pull request #610 from udif/udif_specify_round2
authorClifford Wolf <clifford@clifford.at>
Thu, 23 Aug 2018 12:43:25 +0000 (14:43 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 12:43:25 +0000 (14:43 +0200)
More specify/endspecify fixes


Trivial merge