Vaucanson 1.3.9
This tag has no release notes.