source: @ 785

Name	Size	Rev	Age	Author	Last Change
branches		784	2 years	moo	merge from trunk
tags		774	2 years	moo	tagged 2.0.0-beta1
trunk	​	785	2 years	moo	fix false assertion for empty while (1) {}