Commit b09e77359121b911926af91b5f8a8a93ce4d9438

Werner Lemberg 2018-08-06T11:02:51

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