message: Removing unused options from batch_ops.batch_function().
diff: @@ -58,8 +58,6 @@ def batch_function(num_batch_threads,
  max_batch_size,
  batch_timeout_micros,
  allowed_batch_sizes=None,
  - grad_timeout_micros=60 * 1000 * 1000,
  - unbatch_timeout_micros=60 * 1000 * 1000,
  max_enqueued_batches=10):
  """Batches the computation done by the decorated function.
  @@ -94,10 +92,6 @@ def batch_function(num_batch_threads,
  does nothing. Otherwise, supplies a list of batch sizes, causing the op
  to pad batches up to one of those sizes. The entries must increase
  monotonically, and the final entry must equal max_batch_size.
  - grad_timeout_micros: The timeout to use for the gradient. See the
  - documentation of the unbatch op for more details. Defaults to 60s.
  - unbatch_timeout_micros: The timeout to use for unbatching. See the
  - documentation of the unbatch op for more details. Defaults to 60s.
  max_enqueued_batches: The maximum depth of the batch queue. Defaults to 10.
  Returns:
  