Hi Pedro,
thank you for your review and for your precious hints!
I made the changes as you suggested us. In addition I fixed a bug in rev.58.
Cheers.
« Back to merge proposal
Hi Pedro,
thank you for your review and for your precious hints!
I made the changes as you suggested us. In addition I fixed a bug in rev.58.
Cheers.