Funnelback patch 188.8.131.52
Applies to: v14.0.1
Internal reference: SUPPORT-1770 SUPPORT-1732
Fixing an issues with Push merging empty generations.
Fixing an issues with Push running vacuum on a single generation.
Fixed a issue with the index merger which would sometimes fail.
web/webapps/funnelback-push-api.war: Contains fixes for Push for both Linux and Windows.
bin/padre-mi: Contains the fix for the index merger (Linux).
bin\padre-mi.exe: Contains the fix for the index merger (Windows).