dgit.raspbian.org Git - openmpi.git/commit

author	Raspbian forward pporter <root@raspbian.org>
	Thu, 8 Nov 2018 03:36:47 +0000 (03:36 +0000)
committer	Raspbian forward pporter <root@raspbian.org>
	Thu, 8 Nov 2018 03:36:47 +0000 (03:36 +0000)
commit	ca1b459a94e2629e376535079c7ac6e81c6e4fe2
tree	5b64f615c223eb000e1e7b5a8e4d071ef91e3de7	tree \| snapshot
parent	feefcd6b9dfbef179018751bd4b5e7785243a70f	commit \| diff
parent	563b42ccff8d0454f6a0201ba96bd0723f1937d4	commit \| diff

Merge version 3.1.2-6+rpi1 and 3.1.3-2 to produce 3.1.3-2+rpi1

Unnamed repository; edit this file 'description' to name the repository.