I wanted to wish everyone a fun, but safe!, end of the year. Hope that the next year is even more productive than this one. Regards, Mumit -- Want to unsubscribe from this list? Send a message to cygwin-unsubscribe@sourceware.cygnus.com