On 11/22/2013 11:15 PM, Rene Gollent wrote:
On Fri, Nov 22, 2013 at 5:12 PM, Ingo Weinhold <ingo_weinhold@xxxxxx> wrote:It would be nicer to pull the duplicated code out of the translator, but I'm too lazy to do that.That'd be nice, but likewise. Perhaps a ticket should be filed for that so it's not forgotten?
Sure. CU, Ingo