On Mon, Jul 25, 2016 at 11:22:53AM -0600, Jeff Law wrote: > Just a note, Jakub is on PTO this week and next week -- he'll commit when he > returns. Or if this is time critical, anyone with commit privileges can > commit on Jakub's behalf.
I just done so.
Marek
