<pre style='margin:0'>
Joshua Root (jmroot) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/b8db51511b0bfe3dcf116b375f7c0729c802c7f6">https://github.com/macports/macports-ports/commit/b8db51511b0bfe3dcf116b375f7c0729c802c7f6</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 b8db515  Maude: patchfile cleanup
</span>b8db515 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit b8db51511b0bfe3dcf116b375f7c0729c802c7f6
</span>Author: Joshua Root <jmr@macports.org>
AuthorDate: Thu Jul 26 10:54:07 2018 +1000

<span style='display:block; white-space:pre;color:#404040;'>    Maude: patchfile cleanup
</span>---
 lang/Maude/files/patch-src-Mixfix-Makefile.in.diff | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff b/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff
</span><span style='display:block; white-space:pre;color:#808080;'>index be12382..ca3aa3f 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,4 +1,4 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- /opt/local/var/macports/build/_Users_dcolish_workspace_macports-trunk_dports_lang_maude/work/Maude-2.6/src/Mixfix/Makefile.in  2011-04-27 22:08:31.000000000 -0700
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- src/Mixfix/Makefile.in.orig    2011-04-27 22:08:31.000000000 -0700
</span> +++ src/Mixfix/Makefile.in        2011-04-27 22:09:07.000000000 -0700
 @@ -1166,7 +1166,7 @@
  
</pre><pre style='margin:0'>

</pre>