HomePhabricator

Merge #9216: Doc: Fix copypasted comment

Description

Merge #9216: Doc: Fix copypasted comment

f26da35 Fix copypasted comment. (Pavel Janík)

Details

Event Timeline

MarcoFalke <falke.marco@gmail.com> committed rABCbc121b0eb197: Merge #9216: Doc: Fix copypasted comment (authored by MarcoFalke <falke.marco@gmail.com>).Nov 24 2016, 13:00