From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Fri, 1 Dec 2017 15:16:28 +0000 (+0100)
Subject: Merge pull request #6034 from Habbie/ragel-path
X-Git-Tag: rec-4.1.0~3
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=15628f07baef4ad408cf66a7f7580fed45fc6425;p=pdns

Merge pull request #6034 from Habbie/ragel-path

centralise ragel check+remove .cc symlink
---

15628f07baef4ad408cf66a7f7580fed45fc6425