Sorry I did that merge earlier today without checking the bug reports
first, closing the bug since that's fixed, sorry about that

** Changed in: curl (Ubuntu)
   Importance: Undecided => Low

** Changed in: curl (Ubuntu)
       Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1247845

Title:
  Please merge curl 7.33.0-1 (main) from Debian unstable (main)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/curl/+bug/1247845/+subscriptions

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to