#209: check use of set_default_option() ---------------------+------------------------------------------------------ Reporter: michel | Owner: sebastien Type: bug | Status: accepted Priority: major | Milestone: 5.0 Component: General | Version: Keywords: | ---------------------+------------------------------------------------------ Changes (by sebastien):
* milestone: 4.3 => 5.0