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

author	Peter Michael Green <plugwash@raspbian.org>
	Sat, 18 Apr 2020 21:18:15 +0000 (21:18 +0000)
committer	Peter Michael Green <plugwash@raspbian.org>
	Sat, 18 Apr 2020 21:18:15 +0000 (21:18 +0000)
commit	0edaf656553012410c7825f887fdfb8990bd3484
tree	0ee501b1ab3b47a0d8c25e95a116cb1aff10180d	tree \| snapshot
parent	e3dbdab96f8e33e808fe0ed7a4cda24e89a98f3c	commit \| diff
parent	a505e6d6e9d1ea866ab186671331bab72ea69494	commit \| diff

Manual merge of version 4.0.2-5+rpi1 and 4.0.3-6 to produce 4.0.3-6+rpi1

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