The attached patch uses 12 characters for the displayed channel names rather
than 10. Without this, various BBC radio channels are distinguishable only by
number.
--
| Darren Salt | d youmustbejoking,demon,co,uk | nr. Ashington,
| Debian, | s zap,tartarus,org | Northumberland
| RISC OS | @ | Toon Army
|
URL:http://www.youmustbejoking.demon.co.uk/ (PGP 2.6, GPG keys)
The light of a hundred stars does not equal the light of the moon.