Artifact aa28a099b5bdc240408989a4fd476b2df8f07e4c:

Tag referencing [aa28a099b5] - Edit [232008406fa462e3]: Edit check-in comment. by stephan 2012-07-15 12:55:40.

---

D 2012-07-15T12:55:40.440
T +comment 232008406fa462e3f12eb5bb2bc58738bca2777c Minor\simprovements\sto\sthe\sprevious\sfind_option()\scommit.
U stephan
Z 5fd4d6fca3b1d8529a63137156f87ad3