Thomas Dickey <dickey at his.com> writes: >> So IMHO the warning is obsolete in this specific case, i.e. with "?@" >> without "/" before it. > > I see (for dev.12, then - dev.11 was last night) When do you expect to release dev.12 with this change? Thanks -- Brian May <bam at debian.org>