How many days after 2022-08-01 will Manifold PR#683 get merged? (Notify mentioned users on market publish)
1
1
100
resolved Aug 4
Resolved
12

Will resolve to MAX if PR is rejected. Will resolve to the number of days after August 1st if it is merged. Note that this is an automatically managed market

https://github.com/manifoldmarkets/manifold/pull/683

Get Ṁ200 play money

🏅 Top traders

#NameTotal profit
1Ṁ6
Sort by:
bought Ṁ44 of LOWER

This resolved incorrectly due to a bug in my implementation of numeric market resolution. Future markets appear to be resolving correctly.