[tex-live] pinning not working on win32?

[Martin Schröder]

Hi,
either I've made a dumb error or pinning is broken on Win32.

tlmgr show doesn't use pinning.txt, install knows about it but doesn't use it.

pinning.txt:
tlcontrib:microtype

C:\Users\ms>tlmgr install microtype
tlmgr: using pinning file C:/texlive/2012/../texmf-local/tlpkg/pinning.txt
tlmgr: package repositories:
        main = ftp://ftp.fu-berlin.de/tex/CTAN/systems/texlive/tlnet
        tlcontrib = http://tlcontrib.metatex.org/2012

C:\Users\ms>tlmgr show microtype
package:     microtype
category:    Package
shortdesc:   An interface to the micro-typographic features of pdfTeX.
installed:   Yes
revision:    16687
cat-version: 2.4
cat-date:    2010-01-12 04:41:39 +0100
cat-license: lppl
collection:  collection-latexrecommended

System has just been installed and updated.

Best
   Martin