projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c4c924e 4fe6a65)
Manual merge of version 5.3.0-10+rpi1 and 5.3.0-13 to produce 5.3.0-13+rpi1 archive/raspbian/5.3.0-13+rpi1 raspbian/5.3.0-13+rpi1
authorPeter Michael Green <plugwash@raspbian.org>
Sun, 29 Mar 2020 05:18:10 +0000 (05:18 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Sun, 29 Mar 2020 05:18:10 +0000 (05:18 +0000)
commitfc2a40f8b00b08999768aa753b852f76c64ce0d3
tree520184e5754c43b2463223bcd739176e30bc75bctree | snapshot
parentc4c924ecfd3fc2dcae2eb8967a65a96c6bdc367acommit | diff
parent4fe6a65e70008668c34d878e0b291833b7220a3fcommit | diff
Manual merge of version 5.3.0-10+rpi1 and 5.3.0-13 to produce 5.3.0-13+rpi1

Drop libatomic change, keep symbols change.
debian/changelog diff1 | diff2 | blob | history
debian/symbols diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.