extra/linux-pae: 5.1 -> 5.1.1 - 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-05-12 07:47:08 +0200
committer	Erich Eckner <git@eckner.net>	2019-05-12 07:47:08 +0200
commit	fee5b4e56f025f50812b49ccc2f81ce7b1445d43 (patch)
tree	c2ffe87db9a96c42a4528f5fc3f15c21c626da93 /extra/gnome-desktop
parent	f7f5c3cc94281e53d7acee1d9389610c2fc96164 (diff)

extra/linux-pae: 5.1 -> 5.1.1

Diffstat (limited to 'extra/gnome-desktop')

0 files changed, 0 insertions, 0 deletions