Bug#857637: closed by Mateusz Łukasik <mat...@linuxmint.pl> (Re: Bug#857637: openbox: Menu is not updating automatically)

2017-03-15 Thread Khurram Mahmood
bugreport.cgi?bug=857637 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems > > > -- Forwarded message -- > From: "Mateusz Łukasik" <mat...@linuxmint.pl> > To: Khurram Mahmood <makh...@gmail.com>, 857637-d...@bugs.debian.org

Bug#857637: openbox: Menu is not updating automatically

2017-03-13 Thread Khurram Mahmood
Package: openbox Version: 3.6.1-4 Severity: important Dear Maintainer, *** Reporter, please consider answering these questions, where appropriate *** * What led up to the situation? * What exactly did you do (or not do) that was effective (or ineffective)? * What was the outcome