Le 17/03/2013 20:53, Steve M. Robbins a écrit :
On March 16, 2013 06:55:36 AM Tobias Hansen wrote:Am 15.03.2013 13:56, schrieb Julien Puydt:a few days ago, bug #702898 asked to add the static libraries to the libfplll-dev package. Yesterday, I committed a fix to the git repository for the package.We would not use the static library in Debian, so you don't have to provide it just because a bug requests it.I believe you should provide them, especially if specifically requested. "Our priorities are our users ..."
Thanks, but your mail comes after : - 4.0.1-2 was uploaded fixing the bug ;- I even found the time to fix the fumble of closing the wrong bug in the process.
;-) Snark on #debian-science