On Fri, Jul 18, 2014 at 11:40:31AM -0400, David Edelsohn wrote: > This patch is okay with me if it is okay with the Release Managers.
Ok. Jakub
On Fri, Jul 18, 2014 at 11:40:31AM -0400, David Edelsohn wrote: > This patch is okay with me if it is okay with the Release Managers.
Ok. Jakub