I can confirm that with the current git HEAD it works flawlessly.
Thanks! Benjamin On 01/01/2017 07:36 PM, Ole Tange wrote:
On Tue, Dec 27, 2016 at 2:38 PM, Benjamin Leutner <[email protected]> wrote:I could reproduce the issue on another Ubuntu Gnome machine and also on the plain Ubuntu VirtualBox image from osboxes.org.https://savannah.gnu.org/bugs/index.php?49970 /Ole
