summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2019-04-30 12:23:47 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2019-04-30 12:23:47 +0000
commitdfdfdd6c08cf7bbcc73172b8f17f5cc11932a367 (patch)
tree8ed8fcd7abee04ac20bd51415854161a4f1c9b61 /pg_overlay.txt
parent2019-04-30T12:00:01Z (diff)
downloadrepos-dfdfdd6c08cf7bbcc73172b8f17f5cc11932a367.tar.gz
repos-dfdfdd6c08cf7bbcc73172b8f17f5cc11932a367.tar.bz2
repos-dfdfdd6c08cf7bbcc73172b8f17f5cc11932a367.zip
2019-04-30T12:20:01Z
Diffstat (limited to 'pg_overlay.txt')
-rw-r--r--pg_overlay.txt288
1 files changed, 283 insertions, 5 deletions
diff --git a/pg_overlay.txt b/pg_overlay.txt
index 491bd563e535..790f7e458633 100644
--- a/pg_overlay.txt
+++ b/pg_overlay.txt
@@ -15,12 +15,290 @@ WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsup
WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id
*** syncing pg_overlay
From https://github.com/perfect7gentleman/pg_overlay
- a0404d6d..8c449595 master -> origin/master
-Updating a0404d6d..8c449595
+ 8c449595..867ad232 master -> origin/master
+Updating 8c449595..867ad232
Fast-forward
- app-text/goldendict/Manifest | 2 +-
- app-text/goldendict/goldendict-9999.ebuild | 4 ++--
- 2 files changed, 3 insertions(+), 3 deletions(-)
+ www-client/chromium/Manifest | 141 --
+ www-client/chromium/chromium-73.0.3683.114.ebuild | 778 -------
+ www-client/chromium/chromium-74.0.3729.112.ebuild | 773 ------
+ .../archlinux-patches-74/chromium-glibc-2.29.patch | 105 -
+ .../chromium/files/archlinux-patches-74/series | 1 -
+ www-client/chromium/files/chromium-browser.xml | 13 -
+ .../chromium/files/chromium-compiler-r7.patch | 176 --
+ .../chromium/files/chromium-fix-char_traits.patch | 14 -
+ www-client/chromium/files/chromium-launcher-r3.sh | 39 -
+ .../chromium/files/chromium-widevine-r4.patch | 26 -
+ www-client/chromium/files/chromium.default | 5 -
+ .../files/debian-patches-73/disable/android.patch | 24 -
+ .../disable/device-notifications.patch | 16 -
+ .../files/debian-patches-73/disable/fuzzers.patch | 37 -
+ .../disable/google-api-warning.patch | 16 -
+ .../debian-patches-73/disable/installer.patch | 13 -
+ .../files/debian-patches-73/disable/openh264.patch | 15 -
+ .../files/debian-patches-73/disable/perfetto.patch | 14 -
+ .../files/debian-patches-73/disable/signin.patch | 90 -
+ .../debian-patches-73/disable/swiftshader.patch | 14 -
+ .../disable/third-party-cookies.patch | 14 -
+ .../files/debian-patches-73/disable/tracing.patch | 800 -------
+ .../files/debian-patches-73/disable/unrar.patch | 87 -
+ .../debian-patches-73/disable/welcome-page.patch | 15 -
+ .../files/debian-patches-73/fixes/alignof.patch | 17 -
+ .../files/debian-patches-73/fixes/as-needed.patch | 14 -
+ .../debian-patches-73/fixes/empty-array.patch | 18 -
+ .../debian-patches-73/fixes/gpu-timeout.patch | 15 -
+ .../files/debian-patches-73/fixes/inspector.patch | 14 -
+ .../files/debian-patches-73/fixes/mojo.patch | 163 --
+ .../files/debian-patches-73/fixes/namespace.patch | 68 -
+ .../files/debian-patches-73/fixes/ps-print.patch | 13 -
+ .../debian-patches-73/fixes/sequence-point.patch | 29 -
+ .../files/debian-patches-73/fixes/vaapi.patch | 265 ---
+ .../files/debian-patches-73/gn/libcxx.patch | 13 -
+ .../files/debian-patches-73/gn/parallel.patch | 28 -
+ www-client/chromium/files/debian-patches-73/series | 52 -
+ .../debian-patches-73/system/convertutf.patch | 238 --
+ .../files/debian-patches-73/system/event.patch | 35 -
+ .../debian-patches-73/system/fontconfig.patch | 44 -
+ .../files/debian-patches-73/system/icu.patch | 13 -
+ .../files/debian-patches-73/system/jpeg.patch | 21 -
+ .../files/debian-patches-73/system/jsoncpp.patch | 45 -
+ .../files/debian-patches-73/system/lcms.patch | 14 -
+ .../files/debian-patches-73/system/nspr.patch | 57 -
+ .../files/debian-patches-73/system/openjpeg.patch | 118 -
+ .../files/debian-patches-73/system/vpx.patch | 157 --
+ .../files/debian-patches-73/system/zlib.patch | 24 -
+ .../debian-patches-73/warnings/attribute.patch | 104 -
+ .../debian-patches-73/warnings/bool-compare.patch | 24 -
+ .../debian-patches-73/warnings/enum-compare.patch | 52 -
+ .../warnings/explicit-constructor.patch | 13 -
+ .../files/debian-patches-73/warnings/friend.patch | 23 -
+ .../warnings/initialization.patch | 14 -
+ .../warnings/int-in-bool-context.patch | 73 -
+ .../debian-patches-73/warnings/multichar.patch | 13 -
+ .../warnings/null-destination.patch | 22 -
+ .../files/debian-patches-73/warnings/printf.patch | 36 -
+ .../debian-patches-73/warnings/unused-result.patch | 18 -
+ .../warnings/unused-typedefs.patch | 13 -
+ .../files/debian-patches-74/disable/android.patch | 24 -
+ .../files/debian-patches-74/disable/chromeos.patch | 13 -
+ .../disable/device-notifications.patch | 16 -
+ .../debian-patches-74/disable/font-tests.patch | 11 -
+ .../files/debian-patches-74/disable/fuzzers.patch | 37 -
+ .../disable/google-api-warning.patch | 16 -
+ .../debian-patches-74/disable/installer.patch | 14 -
+ .../files/debian-patches-74/disable/openh264.patch | 15 -
+ .../files/debian-patches-74/disable/perfetto.patch | 14 -
+ .../files/debian-patches-74/disable/signin.patch | 71 -
+ .../debian-patches-74/disable/swiftshader.patch | 14 -
+ .../disable/third-party-cookies.patch | 14 -
+ .../files/debian-patches-74/disable/tracing.patch | 932 --------
+ .../files/debian-patches-74/disable/unrar.patch | 87 -
+ .../debian-patches-74/disable/welcome-page.patch | 15 -
+ .../files/debian-patches-74/fixes/alignof.patch | 17 -
+ .../fixes/anonymous-aggregate.patch | 765 ------
+ .../files/debian-patches-74/fixes/as-needed.patch | 14 -
+ .../fixes/connection-message.patch | 15 -
+ .../debian-patches-74/fixes/empty-array.patch | 18 -
+ .../debian-patches-74/fixes/gpu-timeout.patch | 15 -
+ .../files/debian-patches-74/fixes/inspector.patch | 14 -
+ .../files/debian-patches-74/fixes/mojo.patch | 183 --
+ .../files/debian-patches-74/fixes/namespace.patch | 68 -
+ .../files/debian-patches-74/fixes/nullptr.patch | 14 -
+ .../files/debian-patches-74/fixes/ps-print.patch | 13 -
+ .../files/debian-patches-74/fixes/quic.patch | 154 --
+ .../debian-patches-74/fixes/sequence-point.patch | 40 -
+ .../files/debian-patches-74/fixes/vaapi.patch | 250 --
+ .../files/debian-patches-74/gn/libcxx.patch | 13 -
+ .../files/debian-patches-74/gn/parallel.patch | 28 -
+ www-client/chromium/files/debian-patches-74/series | 60 -
+ .../debian-patches-74/system/convertutf.patch | 238 --
+ .../files/debian-patches-74/system/event.patch | 35 -
+ .../files/debian-patches-74/system/ffmpeg.patch | 79 -
+ .../debian-patches-74/system/fontconfig.patch | 23 -
+ .../files/debian-patches-74/system/icu.patch | 13 -
+ .../files/debian-patches-74/system/jpeg.patch | 21 -
+ .../files/debian-patches-74/system/jsoncpp.patch | 45 -
+ .../files/debian-patches-74/system/lcms.patch | 14 -
+ .../files/debian-patches-74/system/nspr.patch | 57 -
+ .../files/debian-patches-74/system/openjpeg.patch | 13 -
+ .../files/debian-patches-74/system/vpx.patch | 157 --
+ .../files/debian-patches-74/system/zlib.patch | 24 -
+ .../debian-patches-74/warnings/attribute.patch | 104 -
+ .../debian-patches-74/warnings/bool-compare.patch | 24 -
+ .../debian-patches-74/warnings/enum-compare.patch | 52 -
+ .../warnings/explicit-constructor.patch | 13 -
+ .../files/debian-patches-74/warnings/friend.patch | 23 -
+ .../warnings/initialization.patch | 14 -
+ .../warnings/int-in-bool-context.patch | 73 -
+ .../debian-patches-74/warnings/multichar.patch | 13 -
+ .../warnings/null-destination.patch | 22 -
+ .../files/debian-patches-74/warnings/printf.patch | 47 -
+ .../warnings/unused-functions.patch | 32 -
+ .../debian-patches-74/warnings/unused-result.patch | 18 -
+ .../warnings/unused-typedefs.patch | 13 -
+ .../opensuse-patches-73/chromium-dma-buf.patch | 22 -
+ .../files/opensuse-patches-73/chromium-drm.patch | 14 -
+ .../chromium-fix_crashpad.patch | 14 -
+ .../chromium-fix_swiftshader.patch | 10 -
+ .../chromium-libusb_interrupt_event_handler.patch | 15 -
+ .../opensuse-patches-73/chromium-prop-codecs.patch | 16 -
+ .../opensuse-patches-73/chromium-sandbox-pie.patch | 17 -
+ .../chromium-skia-system-fontconfig.patch | 79 -
+ .../chromium-system-libusb.patch | 41 -
+ .../chromium/files/opensuse-patches-73/series | 9 -
+ .../files/opensuse-patches-74/00-basevalue.patch | 101 -
+ .../files/opensuse-patches-74/02-basevalue.patch | 75 -
+ .../files/opensuse-patches-74/03-basevalue.patch | 302 ---
+ .../opensuse-patches-74/chromium-dma-buf.patch | 22 -
+ .../files/opensuse-patches-74/chromium-drm.patch | 14 -
+ .../files/opensuse-patches-74/chromium-gcc.patch | 12 -
+ .../chromium-non-void-return.patch | 2456 --------------------
+ .../opensuse-patches-74/chromium-prop-codecs.patch | 16 -
+ .../opensuse-patches-74/chromium-sandbox-pie.patch | 17 -
+ .../chromium-skia-system-fontconfig.patch | 79 -
+ .../chromium-system-libusb.patch | 41 -
+ .../chromium/files/opensuse-patches-74/series | 11 -
+ www-client/chromium/metadata.xml | 23 -
+ 140 files changed, 12653 deletions(-)
+ delete mode 100644 www-client/chromium/Manifest
+ delete mode 100644 www-client/chromium/chromium-73.0.3683.114.ebuild
+ delete mode 100644 www-client/chromium/chromium-74.0.3729.112.ebuild
+ delete mode 100644 www-client/chromium/files/archlinux-patches-74/chromium-glibc-2.29.patch
+ delete mode 100644 www-client/chromium/files/archlinux-patches-74/series
+ delete mode 100644 www-client/chromium/files/chromium-browser.xml
+ delete mode 100644 www-client/chromium/files/chromium-compiler-r7.patch
+ delete mode 100644 www-client/chromium/files/chromium-fix-char_traits.patch
+ delete mode 100644 www-client/chromium/files/chromium-launcher-r3.sh
+ delete mode 100644 www-client/chromium/files/chromium-widevine-r4.patch
+ delete mode 100644 www-client/chromium/files/chromium.default
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/android.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/device-notifications.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/fuzzers.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/google-api-warning.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/installer.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/openh264.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/perfetto.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/signin.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/swiftshader.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/third-party-cookies.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/tracing.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/unrar.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/disable/welcome-page.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/alignof.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/as-needed.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/empty-array.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/gpu-timeout.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/inspector.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/mojo.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/namespace.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/ps-print.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/sequence-point.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/fixes/vaapi.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/gn/libcxx.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/gn/parallel.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/series
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/convertutf.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/event.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/fontconfig.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/icu.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/jpeg.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/jsoncpp.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/lcms.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/nspr.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/openjpeg.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/vpx.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/system/zlib.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/attribute.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/bool-compare.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/enum-compare.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/explicit-constructor.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/friend.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/initialization.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/int-in-bool-context.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/multichar.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/null-destination.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/printf.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/unused-result.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-73/warnings/unused-typedefs.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/android.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/chromeos.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/device-notifications.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/font-tests.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/fuzzers.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/google-api-warning.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/installer.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/openh264.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/perfetto.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/signin.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/swiftshader.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/third-party-cookies.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/tracing.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/unrar.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/disable/welcome-page.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/alignof.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/anonymous-aggregate.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/as-needed.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/connection-message.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/empty-array.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/gpu-timeout.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/inspector.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/mojo.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/namespace.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/nullptr.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/ps-print.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/quic.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/sequence-point.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/fixes/vaapi.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/gn/libcxx.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/gn/parallel.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/series
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/convertutf.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/event.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/ffmpeg.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/fontconfig.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/icu.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/jpeg.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/jsoncpp.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/lcms.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/nspr.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/openjpeg.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/vpx.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/system/zlib.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/attribute.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/bool-compare.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/enum-compare.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/explicit-constructor.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/friend.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/initialization.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/int-in-bool-context.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/multichar.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/null-destination.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/printf.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/unused-functions.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/unused-result.patch
+ delete mode 100644 www-client/chromium/files/debian-patches-74/warnings/unused-typedefs.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-dma-buf.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-drm.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-fix_crashpad.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-fix_swiftshader.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-libusb_interrupt_event_handler.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-prop-codecs.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-sandbox-pie.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-skia-system-fontconfig.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/chromium-system-libusb.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-73/series
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/00-basevalue.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/02-basevalue.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/03-basevalue.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-dma-buf.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-drm.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-gcc.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-non-void-return.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-prop-codecs.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-sandbox-pie.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-skia-system-fontconfig.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/chromium-system-libusb.patch
+ delete mode 100644 www-client/chromium/files/opensuse-patches-74/series
+ delete mode 100644 www-client/chromium/metadata.xml
*** synced pg_overlay
* Sync succeeded
$ git log --format=%ci -1