#1228: rename 'mike2' in simfactory to just 'mike' --------------------------+------------------------------------------------- Reporter: knarf | Owner: eschnett Type: enhancement | Status: reviewed_ok Priority: minor | Milestone: Component: SimFactory | Version: Resolution: | Keywords: --------------------------+------------------------------------------------- Changes (by eschnett):
* status: review => reviewed_ok
Comment:
Go ahead.