[portico-user] New version 2.0.2 vs 2.1.0?

[Christian S. <Chr...@ma...>]

Hi all!

Thank you for providing the portico hla implementation! :-)

I checked out the new portico master from github. It compiled without problems.
Compiling resulted in a version 2.1.0 (compared to the earlier 2.1.0-beta1 library I was working with before)

The new version announced, however, was 2.0.2...? Is it ok to use 2.1.0? 

Cheers,
Christian