Commit 037f735efdc77ae9c8a24527da5d9805163180a6

Behdad Esfahbod 2018-12-28T21:09:15

[iter] Remove friend operator +, hoping to fix some bots