From 5a0d85003e92cd9a1c961b6ef43e373d75284d39 Mon Sep 17 00:00:00 2001 From: Daniel Ehrenberg Date: Fri, 21 Jun 2019 13:56:39 +0200 Subject: [PATCH] Editorial: Delete redundant statement --- spec.html | 1 - 1 file changed, 1 deletion(-) diff --git a/spec.html b/spec.html index 84dea1e7090..9441cd1d813 100644 --- a/spec.html +++ b/spec.html @@ -6436,7 +6436,6 @@

Jobs and Host Operations to Enqueue Jobs

  • Only one Job may be actively undergoing evaluation at any point in time.
  • Once evaluation of a Job starts, it must run to completion before evaluation of any other Job starts.
  • -
  • The evaluation of any Jobs enqueueed via this or other host job scheduling algorithms must complete before evaluation of the Job starts.