Commit 48f93e648ede94232645aadc9274572e86639cd5

Werner Lemberg 2018-09-04T21:19:26

* devel/ftoption.h: Synchronize with master `ftoption.h'.