| Fri, 11 Nov 2016 21:26:14 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 11 Nov 2016 21:06:15 +0100 | wenzelm | $HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7); | changeset | files |
| Fri, 11 Nov 2016 17:23:26 +0100 | wenzelm | trim more thoroughly, e.g. trailing \0 seen on some system; | changeset | files |