metomi/rose — pull request #1272 by benfitzpatrick (2014-05-30 11:42:54+00:00)
Title: #1270: fix user-ignoring duplicate section

If a user user-ignores a duplicate, non-compulsory section that
has a compulsory option, they will get a "Cannot user-ignore
compulsory settings" error displayed for the section.

This fixes #1270.

@matthewrmshin, please review.