Changes in ticket #397
Made the maximal diff file size depend upon revision number and the actual file size
Authored by: numere 2019-08-08
Parent: [r606]
Child: [r608]