tree 329f8fd23d46121aa99bd617fd4f3eb8b52972cb
parent 6c96af87608bc157132b37f492c521d5d9def690
author Thomas Klausner <tk@giga.or.at> 1595332357 +0200
committer Thomas Klausner <tk@giga.or.at> 1595332357 +0200

If compressed size is known, use it.