tree 62eac6084a86802ff27f43c4984aacb9edaa408e
parent 2f1bea51018e90d4d5d1a9f4afa45214d7794774
author Nicola Ferraro <ni.ferraro@gmail.com> 1582277655 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1582285779 +0100

Fix #1255: add a global installation test