diff options
author | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-19 16:25:54 +0000 |
---|---|---|
committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2019-08-19 16:25:54 +0000 |
commit | fa9e3ebad8cc12087eea946a5d45d7044181aace (patch) | |
tree | 841cab0534cf0e9b1cd4801ce670bdfc26ba02f3 /JRG.txt | |
parent | 2019-08-19T15:40:01Z (diff) | |
download | repos-fa9e3ebad8cc12087eea946a5d45d7044181aace.tar.gz repos-fa9e3ebad8cc12087eea946a5d45d7044181aace.tar.bz2 repos-fa9e3ebad8cc12087eea946a5d45d7044181aace.zip |
2019-08-19T16:20:02Z
Diffstat (limited to 'JRG.txt')
-rw-r--r-- | JRG.txt | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -14,14 +14,7 @@ 'uri': 'git@github.com:john-r-graham/jrg-overlay.git'}], 'status': 'unofficial'} $ pmaint sync JRG -From https://github.com/john-r-graham/jrg-overlay - fd3b9e2..f579961 master -> origin/master -Updating fd3b9e2..f579961 -Fast-forward - dev-util/dumpasn1/Manifest | 8 ++++---- - dev-util/dumpasn1/dumpasn1-20170218.ebuild | 7 +++---- - .../files/dumpasn1-20170218-config-file-path.patch | 16 +++++++++------- - 3 files changed, 16 insertions(+), 15 deletions(-) +Already up to date. *** syncing JRG *** synced JRG * Sync succeeded |