Commit 13a620eb128306ec69602f695d3f874cfeec25a7

Bruno Haible 2009-01-19T22:04:04

Add a newline after the specification header.