Peter Breitenlohner <peb at mpp.mpg.de> writes: > From: Peter Breitenlohner <peb at mppmu.mpg.de> > > Here the patch communicated to you yesterday by > Mojca Miklavec <mojca.miklavec.lists at gmail.com>, this time via > git-send-email as requested > Pushed. Soren