From: Gunter Winkler (guwi17_at_[hidden])
Date: 2005-06-11 16:24:41
Hallo,
1. the resize() of a generalized_vector_of_vector did not work. The
patch should fix this.
2. the append_element() function was missing. The patch adds it.
mfg
Gunter