From: Pieter Lexis <pieterlexis@users.noreply.github.com>
Date: Thu, 26 Oct 2017 12:35:50 +0000 (+0200)
Subject: Merge pull request #5846 from RvdE/patch-1
X-Git-Tag: rec-4.1.0-rc2~16
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f26530e1cfe734ad0c8f756921e278b12094ba93;p=pdns

Merge pull request #5846 from RvdE/patch-1

Update compiling.rst
---

f26530e1cfe734ad0c8f756921e278b12094ba93