missing / wrong copyrights
happy new year :-)
Merge branch 'master' of git.sv.gnu.org:/srv/git/liberty-eiffel
more new year copyright fixes
... and more copyrights
useful.
outer stack control for curses too
a cool job for GNU readline :-)
better copy the underlying external string to be able to give it back to the history (for example)
task #12679 SOCKET_INPUT_OUTPUT_STREAM change blocking state
fix nonblocking read from stream if no data is available