Philipp Kern, on Sun 22 Jan 2017 15:51:35 +0100, wrote: > On 01/22/2017 03:46 PM, Samuel Thibault wrote: > > After some disk failure, we had to reinstall mahler, could some wbadm > > person install the new key, attached to this mail? > [...] > > Done, I think. Yep, works, thanks! Samuel