Merge pull request #78 from ffontaine/master master
authorFerry Huberts <ferry.huberts@pelagic.nl>
Mon, 20 Jan 2020 18:50:39 +0000 (19:50 +0100)
committerGitHub <noreply@github.com>
Mon, 20 Jan 2020 18:50:39 +0000 (19:50 +0100)
lib/pud/Makefile: fix parallel build


Trivial merge