On May 28, 2014, at 1:05 PM, Benjamin Kaduk <kaduk@MIT.EDU> wrote: > ... (wiki) edits can now be made equally from the web and through gerrit. Thank you, Ben! -- Mark Vitale Sine Nomine Associates