![philippines.gif](https://lab.node.vifib.com/nexedi/mariadb/-/raw/c1caa081ad0b2042bc033aa3af0e5da766b41756/Docs/Flags/philippines.gif)
-
unknown authored
Add a mirror in Philippines philippines.txt, philippines.gif, philippines.eps: new file Docs/manual.texi: Add a mirror in Philippines
c1caa081
![philippines.gif](https://lab.node.vifib.com/nexedi/mariadb/-/raw/c1caa081ad0b2042bc033aa3af0e5da766b41756/Docs/Flags/philippines.gif)
Add a mirror in Philippines philippines.txt, philippines.gif, philippines.eps: new file Docs/manual.texi: Add a mirror in Philippines