Merge pull request #448 from kessam/patch-1
authorenjoy-digital <florent@enjoy-digital.fr>
Mon, 6 Apr 2020 09:12:12 +0000 (11:12 +0200)
committerGitHub <noreply@github.com>
Mon, 6 Apr 2020 09:12:12 +0000 (11:12 +0200)
Fix timing constraints


Trivial merge