merge sort

[Gribouillis]

EDIT: Yup Gribouillis you always know all the good modules hahaha

In fact the same thing happened to me a long time ago. I wrote a clever merge() function in a forum and then I discovered that the standard library has a merge() function since version 2.6. That's how one learns the libraries the hard way!