From: joaquin_at_[hidden]
Date: 2008-07-08 05:55:26


Is it OK to merge documentation changes to the release branch?

Thank you,

Joaquín M López Muñoz
Telefónica, Investigación y Desarrollo