Bug#912713: marked as done (Incorrect filename for jquery-ui makes rdm test server not work properly)

2018-11-05 Thread Debian Bug Tracking System
Your message dated Mon, 5 Nov 2018 16:33:58 +0100 with message-id <20181105153358.gb6...@grep.be> and subject line Re: done in unstable has caused the Debian Bug report #912713, regarding Incorrect filename for jquery-ui makes rdm test server not work properly to be marked as done. This means

Bug#912713: marked as done (Incorrect filename for jquery-ui makes rdm test server not work properly)

2018-11-03 Thread Debian Bug Tracking System
Your message dated Sat, 03 Nov 2018 18:02:09 + with message-id and subject line Bug#912713: fixed in ola 0.10.3.nojsmin-2+deb9u1 has caused the Debian Bug report #912713, regarding Incorrect filename for jquery-ui makes rdm test server not work properly to be marked as done. This means that

Bug#912713: marked as done (Incorrect filename for jquery-ui makes rdm test server not work properly)

2018-11-03 Thread Debian Bug Tracking System
Your message dated Sat, 3 Nov 2018 10:10:45 +0100 with message-id <20181103091045.ga18...@grep.be> and subject line done in unstable has caused the Debian Bug report #912713, regarding Incorrect filename for jquery-ui makes rdm test server not work properly to be marked as done. This means that