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

author	Peter Michael Green <plugwash@raspbian.org>
	Thu, 1 Oct 2020 17:31:15 +0000 (17:31 +0000)
committer	Peter Michael Green <plugwash@raspbian.org>
	Thu, 1 Oct 2020 17:31:15 +0000 (17:31 +0000)
commit	b201f1cc83e986a37efbd98d59e1ef4e54c27dea
tree	656cdc439cbdbe8a6bdabb249c987c81bdf42669	tree \| snapshot
parent	b06bb6d70f660d1447fdde5d4cecad5bcf723c4c	commit \| diff
parent	1423c712bc842350b84b92e09017f41c0c9571c6	commit \| diff

Manual merge of version 4.0.4-1+rpi1 and 4.0.5-5 to produce 4.0.5-5+rpi1

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