extra/devtools: 20190818.1 -> 20190820 - packages - Archlinux32 package modifications

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

diff options

author	Erich Eckner <git@eckner.net>	2019-08-20 10:45:11 +0200
committer	Erich Eckner <git@eckner.net>	2019-08-20 10:45:11 +0200
commit	cb3072e1bde7ae4db3aadf4e8c30d80efa663573 (patch)
tree	ce5d7d46324b1e8fa94306818a2d7566418cb073 /extra/java11-openjdk
parent	b17ec069357b867ff9c47d6f6f5dc9354d557551 (diff)

extra/devtools: 20190818.1 -> 20190820

Diffstat (limited to 'extra/java11-openjdk')

0 files changed, 0 insertions, 0 deletions