Commit 4e60bbf36bd3873f96f7249ee8a07e8fada89118

Bruno Haible 2007-03-06T02:00:30

Rename a cache variable.