|
| From: | Dmitry Gutov |
| Subject: | bug#25529: diagnosis and one approach to a fix |
| Date: | Sat, 11 Feb 2017 21:11:30 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.0 |
On 11.02.2017 19:13, Tom Tromey wrote:
I'll wait a little while in case Dmitry has comments, then I'll check it in.
LGTM, thanks!
| [Prev in Thread] | Current Thread | [Next in Thread] |