docs: fix push recipe in RELEASE.md
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 3 Sep 2019 09:34:09 +0000 (11:34 +0200)
committerMichael Biebl <biebl@debian.org>
Tue, 19 Nov 2019 08:17:12 +0000 (08:17 +0000)
commita6d8010e179d4bd69704a2ceaa2eff066fdc8548
treeeef5797d8462ed5b8bfd9df75266e69425f468cb
parenteaab6922390579f862a681a22c2a419383406143
docs: fix push recipe in RELEASE.md

(cherry picked from commit 31e1bbd1cab7f27c60493938a0fd5d9f51ce7cd8)

Gbp-Pq: Name docs-fix-push-recipe-in-RELEASE.md.patch
docs/RELEASE.md