On 21 April 2018 at 00:16, Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > On Fri, Apr 20, 2018 at 6:12 PM, Martin Ågren <martin.agren@xxxxxxxxx> wrote: >> Re-add a commit when it is not yet time to handle it. An alternative >> that was considered was to peek-then-pop. That carries some risk with it >> since the peeking and poping need to act on the same object, in a > > s/poping/popping/ Thanks. I remember looking at that and going "hmmm". Apparently I left it at that, since I see now that my spell-checker would have complained about it. Martin