On Tuesday 10. January 2017 20.26.47 Phil Whineray wrote: > OK. Release has been made. Great! Thanks a lot for the very quick resolution! Looking forward to seeing these in the next Debian! :-) Kjetil