From: Andrea Manni Date: Wed, 5 Apr 2017 15:34:41 +0000 (+0200) Subject: Merge branch 'functions' of kim:/home/git/rover into functions X-Git-Url: http://git.piffa.net/web?p=rover;a=commitdiff_plain;h=21999f21f65d27b556748a0d11c95d154b4d2a2b Merge branch 'functions' of kim:/home/git/rover into functions --- 21999f21f65d27b556748a0d11c95d154b4d2a2b