View Single Post
Posts: 92 | Thanked: 144 times | Joined on Apr 2014
#11
What would be the best way to patch?

wait for an update from community -
get a fix from another linux distribution -
apt-get remove bash?

I have no idea

Thanks