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>
Sun, 10 Nov 2019 23:58:41 +0000 (23:58 +0000)
commitf716807fdf9fdd7bb87b5c3335e4de915e350c20
treee0ebe617cb3acab38c3eef390c387e0c3d17c664
parent5a7a56a91bb7cd82fa408c232c84180ba982d69c
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