Commit 6384ddb72cfa0d13c1126fc5b3aea3b10b921f9c

Bruno Haible 2006-10-26T11:56:02

Make read-only array really read-only. Saves a few bytes in the .data segment.