From: Vladimír Čunát <vladimir.cunat@nic.cz>
Date: Thu, 3 Nov 2016 09:52:04 +0000 (+0100)
Subject: Merge branch 'embed-lua' into 'master'
X-Git-Tag: v1.2.0-rc1~83
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b3702d27da171e040913a7c9148bbbd4cd1214a5;p=thirdparty%2Fknot-resolver.git

Merge branch 'embed-lua' into 'master'

make: strip *.lua as intended since dcd89700

This saves a few kilobytes in the executable.

Also, the name XXD seemed no longer suitable, as it does lua-specific cleaning.

See merge request !57
---

b3702d27da171e040913a7c9148bbbd4cd1214a5