mixed

Drop mixed-pinning.