commit | 89e057dc4a8410207d3888e901eb3a3062002190 | [log] [download] |
---|---|---|
author | nicm <nicm> | Thu Sep 07 13:18:44 2017 +0000 |
committer | nicm <nicm> | Thu Sep 07 13:18:44 2017 +0000 |
tree | d82c4fe85aff7eb4b92ff301e0bd3cb09f7195e5 | |
parent | 466066c3a1393bb2c485b0cfc616b5d9e0afc5f9 [diff] |
Do not fail if unset an option that is already unset, reported by Thomas Sattler.