Merge remote-tracking branch 'upstream/master' into efinix
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 9 Aug 2019 07:46:37 +0000 (09:46 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 9 Aug 2019 07:46:37 +0000 (09:46 +0200)

Trivial merge