<html><body><div style="color:#000; background-color:#fff; font-family:verdana, helvetica, sans-serif;font-size:10pt"><div>Hi :)</div><div>I tend to agree that right now expediency is called for.  The fact of frequent off-list chats kinda does a lot of what the MP process is aiming for even if it doesn't rigidly dot the "t"s and cross the "i"s (perhaps other way around?).  <br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><br></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;">Regards from <br>Tom :)  <br><span></span></div><div style="color: rgb(0, 0, 0); font-size: 13.3333px; font-family: verdana,helvetica,sans-serif; background-color: transparent; font-style: normal;"><span><br></span></div><div><br></div>  <div
 style="font-family: verdana, helvetica, sans-serif; font-size: 10pt;"> <div style="font-family: times new roman, new york, times, serif; font-size: 12pt;"> <div class="y_msg_container"> <hr size="1">  <font size="2" face="Arial"> <b><span style="font-weight:bold;">From:</span></b> Kevin Godby <godbyk@gmail.com><br><span><br><snip /></span><b><span style="font-weight: bold;"><br><br></span></b></font>This cycle has seen only five merge proposals (including the one you<br>just submitted).<br><br>The bulk of the editing thus far has been done by Doug, John, and me.<br><br>I'm only about halfway through the list of files to check against the<br>GNOME docs.<br><br>Our documentation is woefully out of date. It was last updated a year<br>ago.  So we're committing a lot more changes than normal. That's a lot<br>of diffs for someone to have to review.<br><br>If I were to go through the MP process, I'd be waiting for Doug to<br>review my changes
 and commit them.  And vice versa.  Doug and I<br>correspond off-list quite frequently and keep a pretty close eye on<br>what the other is doing as is, so it's not much of an issue at the<br>moment.<br><br><snip /><br><br>—Kevin<br><br></div> </div> </div>  </div></body></html>