[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36460: [PATCH] Mark unused variable bookmark-quit-flag obsolete
|
From: |
Eli Zaretskii |
|
Subject: |
bug#36460: [PATCH] Mark unused variable bookmark-quit-flag obsolete |
|
Date: |
Sat, 06 Jul 2019 11:53:42 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Mon, 1 Jul 2019 20:06:55 +0200
>
> Small patch to mark an unused variable obsolete. Should probably have
> been marked as such already in commit d83ef97.
Thanks, pushed to the master branch.