On Tue, Jan 12, 2016 at 05:06:52PM +0100, 'Hrvoje Ribicic' via ganeti-devel wrote: > As the name was a bit misleading. > > Signed-off-by: Hrvoje Ribicic <[email protected]> > --- > src/Ganeti/JQueue.hs | 9 +++++---- > 1 file changed, 5 insertions(+), 4 deletions(-)
LGTM -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Matthew Scott Sucherman, Paul Terence Manicle
