options 0.9.4 released

There is a new minor release of options. New in this version is support for enums. Consider:

enum Optimization { size, speed };
public Optimization optimization = Optimization.size;

This will automatically limit the number of values the user can choose for this option to the names of the enum constants.