Merge pull request #9951 from dezgeg/pr-update-sl
sl: 3.03 -> 5.02
Pascal Wittmann 10 years ago aeb4aa05 07aefa40