[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


[Waters added for sake of amusing story at end.]

My notes say this passed unanimously.

I also noted that this took 15 seconds to vote in. In fact, we did it
while in the middle of PRETTY-PRINT-INTERFACE sort of at ``interrupt level''
in a way that confused Mary's taking of the minutes and we -almost- got
the pretty printer marked as voted in because she didn't realize we'd 
shifted topics.