dev-db/redis: Merge remote-tracking branch 'github/pr/13619'
[gentoo.git] / dev-ml / ppx_optional / metadata.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
3 <pkgmetadata>
4         <!-- maintainer-needed -->
5         <upstream>
6                 <remote-id type="github">janestreet/ppx_optional</remote-id>
7         </upstream>
8 </pkgmetadata>