* 817c967 Update generated files [Stephane Glondu] (grafted, HEAD, tag: 3.1)