Merge pull request #7407 from salzmdan/master
authorHannu Nyman <redacted>
Wed, 14 Nov 2018 15:26:08 +0000 (17:26 +0200)
committerGitHub <redacted>
Wed, 14 Nov 2018 15:26:08 +0000 (17:26 +0200)
commitc88af86064a01afc2b47decc7198d25d1bf8cf77
tree1984d043a0f4c4af087dfa9b3ee5ba56ed8d80ea
parent0bdfdf354afee6e5e66ed31e6d6fba9a454a3228
parent7d1d080f45f72c4925c95ce9e24d7c27fa0606aa
Merge pull request #7407 from salzmdan/master

knot: update to 2.7.4
git clone https://git.99rst.org/PROJECT