Commit bf07517ded4704be37eef39b758b5206fc6f4f0d

Frank Heckenbach 2019-02-08T02:48:57

fix duplicated entry in doc