On Thu, Sep 26, 2013 at 10:04 AM, Thomas Thrainer <[email protected]>wrote:
> Some of those changes are so small, do we even want to add them to the > NEWS file? Or would "minor bug fixes" be enough? > In general, I wouldn't put them in a NEWS file, but given they are the only difference from the previous version, I decided to write them anyway. But I squashed together the one related to fixes in the documentation. > Anyway, LGTM, thanks. > Thanks, Michele -- Google Germany GmbH Dienerstr. 12 80331 München Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschäftsführer: Graham Law, Christine Elizabeth Flores
