Merge proposals

traitlets in Ubuntu has no merge proposals.