Viewing all changes in revision 8946.
- Committer: Hans Joachim Desserud
- Date: 2018-12-21 10:58:14 UTC
- mfrom: (8935.1.10 trunk)
- Revision ID: hans_joachim_desserud-20181221105814-9foxokgj0a7zolfj
Merged latest trunk. Should work better now that trunk is green again on Travis
expand all
collapse all
added
removed
