Skip to content
Find file Blame History Permalink
  • Gabriele M's avatar
    Get file size from JSON · a72b78c3
    Gabriele M authored 
    The server now reports the size of the file, so use it and
require it.

Change-Id: I2248347431b65ae54dd7295872d70aba456ed8d8
    a72b78c3