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

author	Raspbian automatic forward porter <root@raspbian.org>
	Tue, 15 Jan 2019 10:15:42 +0000 (10:15 +0000)
committer	Raspbian automatic forward porter <root@raspbian.org>
	Tue, 15 Jan 2019 10:15:42 +0000 (10:15 +0000)
commit	7986992e8b679d0d5fae2a6498439b1336ff1669
tree	bf918ec88a82b76cf4f5c8f434efb46fa7b8d094	tree \| snapshot
parent	153f91b538230225067372a9b05f79a73056685d	commit \| diff
parent	325f3063b0cb0067fd99c619e8029d32d788498a	commit \| diff

Merge version 3.1.3-3+rpi1 and 3.1.3-9 to produce 3.1.3-9+rpi1

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