tree 6d52c463ad144c6001ea136c803e95f01da21099
parent e1a92cf5fa1441d669e029b7a785b26822946f2b
author Han-Wen Nienhuys <hanwen@google.com> 1484236065 +0100
committer Han-Wen Nienhuys <hanwen@google.com> 1484649051 +0100

Add a warning for mistyped section names.

Change-Id: I267dd6b004d7c59358cb54ba5d9f17fab8d62a59