Ulrich Mueller Sun, 09 Jun 2013 08:18:12 -0700
The win32codecs USE flag is not used any more by any package, therefore I'll remove it in a few days from now.
Ulrich
