Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
Am 04.11.2014 11:28, schrieb Felix Zachlod: > Am 03.11.2014 22:45, schrieb Lars Ellenberg: > > Thanks for pointing this out, will try this fix immediately Just wanted to approve that this commit fixed the problem I have mentioned regards, Felix