Hi!
any comments to #103?
It seems to me that SimpleVector isn't used anywhere in dune. Is this
impression correct?
Cheers Christian
PS: For all of wandering what is going on in the flyspray
currently... I'm trying to clean up out task list a little bit :-)