<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Sep 7, 2017 at 6:20 PM, Richard Eisenberg <span dir="ltr"><<a href="mailto:rae@cs.brynmawr.edu" target="_blank">rae@cs.brynmawr.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I don't mean to be a killjoy, but I think even something as simple as this should have a proposal. We still have to draft the changes to the Report associated with this change, and at least one is non-obvious: now numeric literals induce an Eq constraint (which should be mentioned). I'm certainly not against this change, but I don't think it's as easy as this.<br></blockquote><div><br></div><div>I agree. I just I thought it was implicit that every change to the report goes throught a pull request, which is the same as a proposal. Were you volunteering for something else, Carter?<br></div></div><br></div></div>