Re: generic container for maps

[Bruno Haible]

> Here comes the last of the five generic container types:

I pushed this now.

Bruno