Comment 1 for bug 1097473

Revision history for this message
Hugo Heden (hugoheden) wrote :

Hmm, I'm starting to think this is not a "bug" but rather something that belongs to a "policy discussion" (as suggested by the Ubuntu bug reporting tutorial)?

Anyway, the version info:

Ubuntu 12.10

$ bash --version
GNU bash, version 4.2.37(1)-release (x86_64-pc-linux-gnu)
Copyright (C) 2011 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>

This is free software; you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.