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;hp=00c1fa9df30a7c1b88d0c40412fd3812dd06bff3 Merge branch 'functions' of kim:/home/git/rover into functions ---