HomePhabricator

Merge branch 'terminology-1.5'

Authored by billiob on Wed, Aug 7, 1:21 PM.

Description

Merge branch 'terminology-1.5'

Merged Changes

CommitAuthorDetailsCommitted
fcfd797a3846billiob
options_keys: force delete of genlist to avoid races 
Aug 6
9299566707e6billiob
options_behavior: avoid eo message 
Aug 6