Bug#799983: unison-gtk: profile shortcut keys not working since 2.40

2015-09-24 Thread Daniel Reichelt
Package: unison-gtk Version: 2.40.102-2 Severity: normal Tags: patch Hi, shortcut keys defined in profiles for the GTK UI ceased working since 2.40 (Jessie). Until 2.32.x it was working fine. Finally I found some time to dig into this and found, that now the profiles are scanned only after the m

Bug#799983: Acknowledgement (unison-gtk: profile shortcut keys not working since 2.40)

2015-12-02 Thread Daniel Reichelt
The patch suggested by me has been accepted upstream. [1], [2] Maybe this could be included in the next point release... Thanks Daniel [1] https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/uigtk2.ml?r1=551&r2=550&pathrev=551 [2] https://webdav.seas.upenn.edu/viewvc/unison/trunk/src/uigtk2

Updated Unison packages

2016-10-15 Thread Daniel Reichelt
Hi all, with the oncoming freeze for stretch in mind, I'd like to ask you to update the unison packges to the latest upstream release beforehand. The Unison packages in sid are already >1 year old, two releases happened since and they contain several bug-fixes and really nice features I'm eager t

Bug#844321: unison: Please update to latest upstream version

2016-11-14 Thread Daniel Reichelt
Source: unison Version: 2.48.3-1 Severity: wishlist Please update the packaging to the latest upstream version at [1]. Changelog: [2] Thanks! Daniel [1] https://github.com/bcpierce00/unison [2] https://www.cis.upenn.edu/~bcpierce/unison/download/releases/stable/unison-manual.html#news

Re: unison: Please update to latest upstream version

2018-11-30 Thread Daniel Reichelt
Hi, can we please get the latest upstream version into Buster? I do realize, there's been a 2.48.4-1 release since I opened this bug. However, that release is over a year old and upstream has included some bugfixes since. The current upstream version is 2.48.15. Thanks, Daniel signature.asc D

Bug#844321: unison: Please update to latest upstream version

2022-10-16 Thread Daniel Reichelt
*bump* On Mon, 20 May 2019 16:31:05 +0200 =?UTF-8?Q?St=c3=a9phane_Glondu?= wrote: > Le 20/05/2019 à 16:06, Christoph Groth a écrit : > > Unison 2.51.2 that has been released in January 2018 has a new feature > > that is very useful for synchronizing, for example, '.git' directories: > > > >>