carta

__gnu_cxx::__detail::__mini_vector(3) on Linux

The text 1ac28048e179, as Debian 5.0 (Lenny) shipped it.

__gnu_cxx::__detail::__mini_vector(3) on Linux now