Hi Sebastian,
I don't have any ideas what to improve. Would it do any harm to push the change to the main branch, so you don't need to merge updates?
fyi: your patch is now uploaded to master branch. cu, Thomas _______________________________________________ Simulavr-devel mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/simulavr-devel
