Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
On Mon, Nov 02, 2015 at 01:37:26PM +0100, Veit Wahlich wrote: > Hi Roland, > > thank you for your reply. > > May I suggest to update the documentation accordingly? > Done. Currently in our internal tree, will hit the web page later... Regards, rck