10 Apr
2007
10 Apr
'07
10:34 p.m.
On 10. Apr 2007, at 15:59, Allan Odgaard wrote:
[...] Joachim just did a fix for this, but I think it actually exposes a TM bug in assigning scopes to captures.
I’ll devote more time to looking into it later.
Yeah, there is a bug, but wasn’t exposed by the previous rule nor the new one (that Joachim committed).