I always double de-clutch the 1-2 shift when the gearbox is cold. Seems to be easier on me and the synchros. I rarely do it once everything warms up - it doesn't seem necessary.

Cheers,
Dennis