28 Aug
2007
28 Aug
'07
10:05 p.m.
* Austin Haas [2007-08-28 23:33+0200] writes:
Was the repl buffer's behavior changed or am I seeing something unintentional? Is there some way to get it back the way that it used to be?
Yes, there were some changes and something was broken. I think it's repaired now.
Helmut.