What is a workman whose business it is to shape boots or shoes, or place leather smoothly, on lasts; a tool for stretching leather on a last called?

laster — A workman whose business it is to shape boots or shoes, or place leather smoothly, on lasts; a tool for stretching leather on a last. (Webster's 1913.)