On Tue, Mar 17, 2015 at 05:31:31PM +0100, 'Petr Pudlak' via ganeti-devel wrote: > .. as a preparation for adding more detailed annotations later. > > Signed-off-by: Petr Pudlak <[email protected]> > --- > src/Ganeti/Query/Exec.hs | 24 +++++++++--------------- > 1 file changed, 9 insertions(+), 15 deletions(-)
LGTM -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores
