Artifact 8d89a0e3dbf2fe06a028ad03f03d38e30295290cf2ef425a877547b193acaa58:

• File VERSION — part of check-in [996d74f5] at 2018-09-25 01:38:00 on branch branch-3.25 — Bump the version number to 3.25.2. (user: drh size: 7)

3.25.2