+[2015-07-10T14:55:38Z]AbsalomFixed; probably github took some time to synchronize. +[2015-07-10T14:55:47Z]AbsalomI was comparing an older version. +[2015-07-10T14:56:15Z]gynterctrl+shift+r for refresh ;) +[2015-07-10T14:56:49Z]AbsalomNo, actually the version on Github was old even after the update from git. +[2015-07-10T14:56:59Z]AbsalomBut 5 minutes later, it was OK.