fix display of active stage
Merge remote-tracking branch 'upstream/master'
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
SmartEiffel's base C layers use a few free() calls, they must be caught too
BDW GC: missing empty tuple + code cleanup
pretty
oops: bad creation client clause
code cleanup
code cleanup