Merge pull request #787 from whitequark/flowmap_relax
authorClifford Wolf <clifford@clifford.at>
Tue, 15 Jan 2019 08:50:58 +0000 (09:50 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Jan 2019 08:50:58 +0000 (09:50 +0100)
flowmap: implement depth relaxation


Trivial merge