<pre style='margin:0'>
Craig Treleaven (ctreleaven) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/f195ec074da19bb21489dfff94317590c8e7245a">https://github.com/macports/macports-ports/commit/f195ec074da19bb21489dfff94317590c8e7245a</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new f195ec0  mediainfo: bump to 18.12
</span>f195ec0 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit f195ec074da19bb21489dfff94317590c8e7245a
</span>Author: Craig Treleaven <ctreleaven@macports.org>
AuthorDate: Fri Feb 8 11:02:05 2019 -0500

<span style='display:block; white-space:pre;color:#404040;'>    mediainfo: bump to 18.12
</span>---
 devel/mediainfolib/Portfile   |  8 ++++----
 multimedia/mediainfo/Portfile | 10 +++++-----
 2 files changed, 9 insertions(+), 9 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/mediainfolib/Portfile b/devel/mediainfolib/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 17326a6..ff69a36 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/mediainfolib/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/mediainfolib/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,10 +4,10 @@ PortSystem          1.0
</span> PortGroup           github 1.0
 
 # normally update mediainfo port at the same time
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        MediaArea MediaInfoLib 18.05 v
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  177ce8a6f65c87213a6538b727cec40071bd32ef \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  2c0596ecadf0e1c2108d6c29bebe218e4c682f13985a96ec5a42201f24a1390d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    2331003
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        MediaArea MediaInfoLib 18.12 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  059557f72f0017df47431e8d5538ab7cc8ac400a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  2959d258b932d645149f6e414e06b1aee3ebe651832c7c3fa77eb3bcdfcde519 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    2382696
</span> 
 name                mediainfolib
 description         Supplies technical and tag information about a video or audio file
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/multimedia/mediainfo/Portfile b/multimedia/mediainfo/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 8d561e9..532d3d1 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/multimedia/mediainfo/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/multimedia/mediainfo/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,10 +4,10 @@ PortSystem          1.0
</span> PortGroup           github 1.0
 
 # normally update mediainfolib port at the same time
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        MediaArea MediaInfo 18.05 v
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  5a07167227c64dce29807d687a5e19fddbab8c23 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  8b4aa07e706c00e20d2be3b96e29b9b2f8fc9c9149e288f39f463fd5b2d6585a \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    2420181
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        MediaArea MediaInfo 18.12 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  9bee7a245c8d8240365d4b1fdb5ab66ea22a4b40 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  5b5b8ec9c00dcdd480c2c988a99cf44ebb87074d740e45f4d3ebf82fb6ead6df \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    2470653
</span> 
 name                mediainfo
 categories          multimedia
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -36,7 +36,7 @@ subport MediaInfo-gui {
</span>     PortGroup           app 1.0
     PortGroup           wxWidgets 1.0
     wxWidgets.use       wxWidgets-3.2
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    revision            1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    revision            0
</span> 
     description         Identifies audio and video codecs in a media file. GUI
     long_description    MediaInfo supplies technical and tag information about a \
</pre><pre style='margin:0'>

</pre>