Paul Eggert <eggert@cs.ucla.edu> schrieb am Mi., 2. März 2016 um 19:24 Uhr:

> On 03/01/2016 01:46 PM, Philipp Stephani wrote:
> > Thanks, both look good to me.
> OK, I installed them into the master.
>

Thanks!