>>>>> On Wed, 7 Sep 2016 10:10:20 +0200, Steffen Grunewald >>>>> <steffen.grunew...@aei.mpg.de> said:
> Identical in what sense? The content is identical, only the version numers are different. > Also, one may want to add [trusted=yes] to the fai-project.org apt line... (is this already in > the manual?) No. Thanks for the hint. I will add this to the default configs. -- regards Thomas