|
From: | Angelo Graziosi |
Subject: | bug#14901: Trunk bootstrap broken |
Date: | Fri, 19 Jul 2013 00:19:14 +0200 |
User-agent: | Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/20130620 Thunderbird/17.0.7 |
After Paul's changes, rev. 113451 bootstraps... Thanks. Ciao, Angelo.
[Prev in Thread] | Current Thread | [Next in Thread] |