From: Andrea Manni Date: Thu, 6 Apr 2017 15:02:51 +0000 (+0200) Subject: Merge branch 'functions' of kim:/home/git/rover into functions X-Git-Url: http://git.piffa.net/web?a=commitdiff_plain;h=16c04f79ca840fb8c2d8ed8adb51ff66f1f41812;p=rover Merge branch 'functions' of kim:/home/git/rover into functions --- 16c04f79ca840fb8c2d8ed8adb51ff66f1f41812