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

author	Raspbian forward pporter <root@raspbian.org>
	Thu, 13 Sep 2018 18:27:30 +0000 (19:27 +0100)
committer	Raspbian forward pporter <root@raspbian.org>
	Thu, 13 Sep 2018 18:27:30 +0000 (19:27 +0100)
commit	3eb3ee325dba9b2ff1d2cfb9b8fa1abba23f9314
tree	4ffd482ed2088bffa9d702ed8b5104593962d700	tree \| snapshot
parent	bcc2760ddd1033bf972c29e573c4c419b56e0943	commit \| diff
parent	4ae1fc79e2bfa91f2566e6ba664394ec946e6781	commit \| diff

Merge version 3.1.1.real-7+rpi1 and 3.1.2-1 to produce 3.1.2-1+rpi1

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