30 Apr
2020
30 Apr
'20
07:51
On Thu, 2020-04-30 at 05:20 +0200, Stefan Seyfried wrote:
Am 29.04.20 um 17:30 schrieb Martin Wilck:
On Wed, 2020-04-29 at 17:05 +0200, Jan Engelhardt wrote:
On Wednesday 2020-04-29 15:31, Martin Wilck wrote:
"A patch (0002-Fix-disable-callback-gnome-shell-3.30- compatibility.patch) is being deleted without this removal being mentioned in the changelog."
If you look at the changelog, you can see that the patches have been *renumbered*
That is still a different filename.
The way I did it was:
* renumber patch: 0102-Fix-disable-callback-gnome-shell-3.30- compatibility.patch (was 0002)
Don't argue with that stupid bot.
I'm still awaiting your rewrite of the bot Cheers, Dominique