HomePhabricator

Merge #8720: Minor change in section name

Description

Merge #8720: Minor change in section name

dad932c Minor change in section name (Anders Øyvind Urke-Sætre)

Event Timeline

Wladimir J. van der Laan <laanwj@gmail.com> committed rABC0171a1e559aa: Merge #8720: Minor change in section name (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Sep 19 2016, 13:38