Merge pull request #307 from sergachev/master
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 15 Nov 2019 17:17:35 +0000 (18:17 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Nov 2019 17:17:35 +0000 (18:17 +0100)
change >512 B CSR memory exception to a warning


Trivial merge