It looks like the bdw version on ET is older than mine. Sorry.
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
HZ: AMD64 added for TinyC X86_64 version -- fixes bug#39929
removed warning
fixed simplify tests
obvious gc tests fixes
legible time for average time display
Merge branch 'master' of localhost:liberty
dumb math fix
Merge branch 'master' of cadrian.hd.free.fr:liberty
Am I that bad at math?? Or is PHP? Should I wake up first?
prettier
no working state in history
why "active"? (not in history, no)
fixed days display
better days display
grrrr php!! :-(
a few test fixes
more complete times data
preparing to skip substages when not needed