[crux-commits] ports/contrib (3.7): pyright: 1.1.379 -> 1.1.380