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

author	Raspbian forward pporter <root@raspbian.org>
	Sat, 25 Aug 2018 17:48:57 +0000 (18:48 +0100)
committer	Raspbian forward pporter <root@raspbian.org>
	Sat, 25 Aug 2018 17:48:57 +0000 (18:48 +0100)
commit	bcc2760ddd1033bf972c29e573c4c419b56e0943
tree	0163b3083abc4b92869744c24eb54720630cf738	tree \| snapshot
parent	4b9b2cb3bf3df0aa123365a1f42d785f03c5da52	commit \| diff
parent	c01c943a82b60cc2afe1f748a6ae04a72b00b2df	commit \| diff

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

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