leptonlib-1.42.tar.gz imported
Merge branch 'release/1.42'