> Uploaded, leaving 3.14-1 as previous.  Any reason to keep 3.1[0123]-1 around?

Nope, you can drop the older releases if you like, same with the older
w32api releases.

Chris

-- 
Chris Sutcliffe
http://emergedesktop.org

Reply via email to