projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 3eb3ee3 1d0c120)
Merge version 3.1.2-1+rpi1 and 3.1.2-3 to produce 3.1.2-3+rpi1 archive/raspbian/3.1.2-3+rpi1 raspbian/3.1.2-3+rpi1
authorRaspbian forward pporter <root@raspbian.org>
Tue, 18 Sep 2018 11:29:02 +0000 (12:29 +0100)
committerRaspbian forward pporter <root@raspbian.org>
Tue, 18 Sep 2018 11:29:02 +0000 (12:29 +0100)
commit7d9bc5901fbf8fe04aff4a04e5215a578111db90
tree9e6d588ef20c18422b2fd92422b5dbf4a662e7fdtree | snapshot
parent3eb3ee325dba9b2ff1d2cfb9b8fa1abba23f9314commit | diff
parent1d0c120982b36483d253a5c79c754e94bb6a22bbcommit | diff
Merge version 3.1.2-1+rpi1 and 3.1.2-3 to produce 3.1.2-3+rpi1
debian/changelog diff1 | diff2 | blob | history
debian/rules diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.