On 2019-10-13 11:22, John Darrington wrote:
A nanosecond or so longer compilation time?
Exactly my point. Yuri _______________________________________________ Bug-readline mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-readline
