#104: Add option pruning ---------------------------+------------------------------------------------ Reporter: stepan | Owner: sebastien Type: bug | Status: closed Priority: major | Milestone: 4.2 Component: Core M-files | Version: Resolution: fixed | Keywords: ---------------------------+------------------------------------------------ Changes (by sebastien):
* status: new => closed * resolution: => fixed
Comment:
Fixed in commit ccaa8e644362421d58580115814aa52229469768