K 10
svn:author
V 4
glip
K 8
svn:date
V 27
2003-10-21T21:49:55.000000Z
K 7
svn:log
V 125
Rename map_get_known2 to map_get_known since the latter name has been
freed by another patch.

See PR#4725 for more details.

END