On Sat, Nov 23, 2013 at 8:21 PM, Mike Stump <email@example.com> wrote: > Richi has asked the we break the wide-int patch so that the individual port and front end maintainers can review their parts without have to go through the entire patch. This patch covers the documentation. > > Ok? Ok. Thanks, Richard.