Commit 735d249639a83b7c12c1792551ed4cbbebce7ef2

Behdad Esfahbod 2023-06-03T16:35:03

[map] Remove an unlikely Empty maps are common in some subsetting operations.