From 991267022899ea3b6f322b342e3a98bb47eb9d5f Mon Sep 17 00:00:00 2001
From: "Olivier J.N. Bertrand" <olivier.bertrand@uni-bielefeld.de>
Date: Sat, 9 Dec 2017 19:02:03 +0100
Subject: [PATCH] Merge branch 'master' of
 ssh://obertrand.dyndns.org:50022/media/server/git/toolbox-navigation

-- 
GitLab