=== lifeless_ is now known as lifeless
=== achiang` is now known as achiang
=== Guest63061 is now known as StevenK
=== FlannelKing is now known as Flannel
[06:31] <dholbach> good morning
=== Guest9557 is now known as Lutin
=== hrww is now known as hrw
=== Lasall42 is now known as Lasall
=== pipedrea1 is now known as pipedream
=== Zic is now known as Guest97647
=== funkyHat_ is now known as funkyHat
=== jbicha_ is now known as jbicha
=== medberry is now known as med_
=== Guest97647 is now known as Zic
[19:06] <alo21> hi... im going to fix bu #1186588
[19:06] <alo21> bug #1186588*
[19:06] <ubottu> bug 1186588 in xenomai (Ubuntu) "Please merge xenomai 2.6.2.1-2 (universe) from Debian unstable (main)" [Undecided,In progress] https://launchpad.net/bugs/1186588
[19:09] <alo21> my question is.. Do I have to delete dh_installudev too?
[19:13] <geser> alo21: no, keep it
[19:13] <geser> it should like like:
[19:14] <geser> dh_installdocs -s -A
[19:14] <geser> dh_installdocs -s -A
[19:14] <geser> dh_installudev
[19:14] <geser> (sorry, c&p fail, only one time dh_installdocs)
[19:15] <alo21> geser, I supposed it, and I want to be sure...Ok. Thanks :)
=== Quintasan_ is now known as Quintasan
=== jussi01 is now known as jussi
=== jtaylor_ is now known as jtaylor
=== tumblewed is now known as tumbleweed
=== RAOF_ is now known as RAOF