Commit 493a005d9527b6075f3c1ca4b41c22d7805f975c

Behdad Esfahbod 2017-12-16T11:49:39

[set] In add_sorted_array(), bail if data is not sorted