Duplication of Web Manual documents

After the recent 3.7.9 upgrade, we were informed that web manual documents in Air Maestro document library gets duplicated multiple times. The reason for this was identified and fixed in 3.7.12.2 version.