Commit 1dfd103ab85aa98aefa4a32af69ddde2e8951bed

Silvio Traversaro 2019-08-22T23:05:54

Merge pull request #62 from pali/master Reduce memory usage by 64K