JSON Config: Convert float to int (bug 1590)
[gpodder.git] / src / 
tree9a9d3828a1dbc4d447203fec8339ef2e0f4cd3f2
drwxr-xr-x   ..
drwxr-xr-x - gpodder