|
| From: | Bruno Haible |
| Subject: | Re: make DejaGnu dependency optional |
| Date: | Sat, 20 Feb 2021 14:19:24 +0100 |
| User-agent: | KMail/5.1.3 (Linux/4.4.0-201-generic; KDE/5.18.0; x86_64; ; ) |
> OK for master. > Thanks! Pushed.
| [Prev in Thread] | Current Thread | [Next in Thread] |