>>>>> "GP" == Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes: GP> Please note that for changes like this ChangeLog entries are required. Such doc suggestions are rare and the important thing is just to get them! I'll do the necessary when Craig has approved.