Re: [gobo-eiffel-develop] Bug in GEC time measurement

[Eric B. <er...@go...>]

Hi Wolfgang,
> today I found a minor bug (really, a milli or micro bug) in GEC
> concerning time measurement.

Thanks you for this bug report and the fix which comes with it.
It's now committed in the Git repository.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com