Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
208 check-ins using file unix/configure.ac version 52879e9977
|
2017-11-02
| ||
| 13:21 | merge novem check-in: 0e028ed45f user: dgp tags: dgp-refactor | |
| 13:17 | merge novem check-in: 2e122a7f58 user: dgp tags: dgp-properbytearray | |
| 12:53 | merge trunk check-in: 319a7765cd user: dgp tags: novem | |
|
2017-11-01
| ||
| 16:16 | merge novem check-in: ceec7bcd98 user: dgp tags: novem-purge-literals | |
|
2017-10-30
| ||
| 16:11 | merge novem check-in: 00ce925303 user: dgp tags: dgp-refactor | |
| 16:10 | merge novem check-in: f3eb497c83 user: dgp tags: dgp-properbytearray | |
| 12:48 | TIP 278 into novem. check-in: 48a7a3af50 user: dgp tags: novem | |
| 12:43 | TIP 345 into novem. check-in: e8a10ae4fa user: dgp tags: novem | |
| 03:45 | merge novem check-in: ad63c68937 user: dgp tags: dgp-refactor | |
| 03:38 | merge novem check-in: debbfd7c9c user: dgp tags: dgp-properbytearray | |
| 03:29 | merge trunk check-in: 8b988cd8ee user: dgp tags: novem | |
|
2017-10-27
| ||
| 15:36 | merge novem check-in: 52b1608dc2 user: dgp tags: dgp-refactor | |
| 15:35 | merge novem check-in: f646928626 user: dgp tags: dgp-properbytearray | |
| 15:20 | merge trunk check-in: 0608bd6778 user: dgp tags: novem | |
|
2017-10-24
| ||
| 13:57 | merge trunk check-in: 7620549f82 user: jan.nijtmans tags: novem | |
| 13:35 | Historical change affecting tests: Detroit did not observe Daylight Saving Time in 1967 check-in: 0ea0323496 user: kbk tags: novem | |
|
2017-10-23
| ||
| 17:12 | Update TZ info to tzcode2017c. check-in: 822e31b89d user: jima tags: novem | |
|
2017-10-20
| ||
| 12:52 | merge novem check-in: 0a29e3a8f5 user: dgp tags: dgp-properbytearray | |
| 12:46 | merge novem check-in: fd7489794a user: dgp tags: dgp-refactor | |
| 12:34 | merge trunk: check-in: 992db56638 user: dgp tags: novem | |
|
2017-10-18
| ||
| 01:24 | bug fixes check-in: ed8f6a16dd user: dgp tags: dgp-refactor | |
|
2017-10-17
| ||
| 22:55 | bug fixes check-in: 8525019388 user: dgp tags: dgp-refactor | |
| 16:20 | TODO comments explaining what to do and why to wait. check-in: f02e397753 user: dgp tags: dgp-refactor | |
| 15:43 | Implement and use transients. check-in: 0b0fa29781 user: dgp tags: dgp-refactor | |
| 13:58 | Start support for transients. check-in: 53d2c4c8fe user: dgp tags: dgp-refactor | |
| 12:33 | Detect merges of identcal subtrees; eliminate the duplication. check-in: 10d1a11b1d user: dgp tags: dgp-refactor | |
| 01:44 | Move all the claims to a final pass. check-in: ac0d031fd2 user: dgp tags: dgp-refactor | |
| 01:40 | Copy over partial results. check-in: 83493485a5 user: dgp tags: dgp-refactor | |
|
2017-10-16
| ||
| 20:55 | bug fixes check-in: 68f202d70b user: dgp tags: dgp-refactor | |
| 16:53 | Detect a merge that produces second argument and avoid copy. check-in: 948083211f user: dgp tags: dgp-refactor | |
| 15:30 | Detect a no-op merge of contents and avoid copy in that case check-in: e1550635bf user: dgp tags: dgp-refactor | |
|
2017-10-14
| ||
| 16:35 | When KVLMerge and subsequent testing detects two identical values, collapse them into two uses of th... check-in: 89cdc58a95 user: dgp tags: dgp-refactor | |
|
2017-10-13
| ||
| 17:51 | Correct listIsFirst value. check-in: aefa8c54a4 user: dgp tags: dgp-refactor | |
| 16:40 | merge novem check-in: b59c82c600 user: dgp tags: dgp-refactor | |
| 16:39 | merge novem check-in: 88a2bcd3b4 user: dgp tags: dgp-properbytearray | |
| 16:39 | merge trunk check-in: a49c3597fe user: dgp tags: novem | |
| 13:03 | Rework lifetime management of the tokensType internal rep. check-in: b0ea212222 user: dgp tags: dgp-refactor | |
|
2017-10-12
| ||
| 19:56 | Don't skip comment and command start initializations. check-in: 340847e486 user: dgp tags: dgp-refactor | |
| 19:26 | Stop an invalid read in the Brodnik machinery. check-in: e945614f04 user: dgp tags: dgp-refactor | |
| 16:33 | memleak check-in: dd0af5cd3e user: dgp tags: dgp-refactor | |
| 16:23 | WIP check-in: 220199cad9 user: dgp tags: dgp-refactor | |
| 15:23 | merge novem check-in: af099af1b3 user: jan.nijtmans tags: novem-more-memory-API | |
| 15:21 | merge trunk check-in: d7c27886c9 user: jan.nijtmans tags: novem | |
| 14:52 | Account for changes in KVLMerge. check-in: e8be7bfb41 user: dgp tags: dgp-refactor | |
| 12:55 | merge novem check-in: 34f8606cc4 user: dgp tags: dgp-properbytearray | |
| 12:55 | merge novem check-in: 3899669480 user: dgp tags: dgp-refactor | |
| 12:30 | Convert to use of a per-HAMT collision list. check-in: 3cdd2a6e8c user: dgp tags: dgp-refactor | |
| 00:56 | update comment Closed-Leaf check-in: 8784b35f65 user: dgp tags: dgp-hamt-collision | |
|
2017-10-11
| ||
| 23:42 | Avoid a self merge in MergeContents check-in: 87260a9796 user: dgp tags: dgp-hamt-collision | |
| 23:32 | Handle collisions in the remove operation check-in: fb7d7cf7fb user: dgp tags: dgp-hamt-collision | |
| 17:45 | Make the collision lists sharable. check-in: 74eb685080 user: dgp tags: dgp-hamt-collision | |
| 14:09 | merge novem check-in: ac9cb5b64c user: jan.nijtmans tags: novem-more-memory-API | |
| 03:38 | Make sure iterations pass through collision overflows too. check-in: 0934b982c6 user: dgp tags: dgp-hamt-collision | |
| 03:19 | Post-process all hash collisions that arise during merges. (None :)) check-in: 261ef9caa2 user: dgp tags: dgp-hamt-collision | |
|
2017-10-10
| ||
| 19:11 | Started the collision fallback implementation. check-in: e9cb01c62e user: dgp tags: dgp-hamt-collision | |
| 18:28 | some tidying check-in: 0b06a32063 user: dgp tags: dgp-hamt-collision | |
| 16:52 | update comment check-in: 2a1120185d user: dgp tags: dgp-hamt-collision | |
| 16:45 | Eliminate the tail field and uses of it. check-in: 8c2c87b7fb user: dgp tags: dgp-hamt-collision | |
| 16:07 | Simplified model means we no longer need tricky adjustment accounting. check-in: 642f98e81f user: dgp tags: dgp-hamt-collision | |
| 14:41 | In simplified design, every KVList holds one key value pair. check-in: 4df55bdf0e user: dgp tags: dgp-hamt-collision | |
| 14:34 | More API transformation. check-in: 09739e8daf user: dgp tags: dgp-hamt-collision | |
| 14:26 | Begin redesign where we move the handling of hash collisions to the hamt as a whole instead of requi... check-in: a13d68cbee user: dgp tags: dgp-hamt-collision | |
|
2017-10-09
| ||
| 14:28 | merge trunk check-in: 61bc0c7245 user: jan.nijtmans tags: novem | |
| 12:55 | merge trunk check-in: 3d2670a053 user: jan.nijtmans tags: novem | |
|
2017-10-07
| ||
| 20:44 | bug fixes check-in: b6e0357c0c user: dgp tags: dgp-refactor | |
| 16:37 | Complete reworking of size calculation. check-in: a92065e8f3 user: dgp tags: dgp-refactor | |
|
2017-10-06
| ||
| 19:24 | Rework toward a simpler scheme of size tracking that's not as entangled with other design choices. check-in: b13237f9e9 user: dgp tags: dgp-refactor | |
| 13:32 | Collect slot histogram data check-in: 1a30be1ef3 user: dgp tags: dgp-refactor | |
| 12:03 | Disable code that cannot happen. check-in: 1fe6d463b0 user: dgp tags: dgp-refactor | |
|
2017-10-05
| ||
| 18:18 | another ratio reported check-in: d9c1c45ee5 user: dgp tags: dgp-refactor | |
| 18:09 | Implement a first pass [hamt info] command. check-in: 6ac61a2093 user: dgp tags: dgp-refactor | |
| 15:42 | bug fix check-in: afa5dbe7cd user: dgp tags: dgp-refactor | |
| 14:52 | Implement the [hamt size] command. check-in: 68ba69deef user: dgp tags: dgp-refactor | |
| 14:42 | Machinery to compute and track hamt size. check-in: e05843ee31 user: dgp tags: dgp-refactor | |
| 10:38 | Refactor code common to merge and insert. check-in: 2c2acd6ee9 user: dgp tags: dgp-refactor | |
|
2017-10-04
| ||
| 21:11 | Bugfix MergeList. check-in: 3dff0cbcf4 user: dgp tags: dgp-refactor | |
| 19:28 | WIP check-in: de18cfcf25 user: dgp tags: dgp-refactor | |
| 15:16 | Implemented a [hamt get] command. check-in: e57f4d150a user: dgp tags: dgp-refactor | |
|
2017-10-03
| ||
| 19:31 | bug fixes check-in: b82161d2ef user: dgp tags: dgp-refactor | |
| 16:34 | Implement the [hamt merge] command. check-in: 0837519daf user: dgp tags: dgp-refactor | |
| 15:33 | Completion of the merge machinery. check-in: 5b3fbcb610 user: dgp tags: dgp-refactor | |
| 13:50 | WIP check-in: bdfb1551e4 user: dgp tags: dgp-refactor | |
| 12:55 | WIP check-in: 151488be2c user: dgp tags: dgp-refactor | |
| 09:12 | Merge trunk check-in: 984891340b user: jan.nijtmans tags: novem | |
| 03:52 | WIP check-in: e2d4dc416f user: dgp tags: dgp-refactor | |
| 00:28 | WIP check-in: b460c4bb8c user: dgp tags: dgp-refactor | |
| 00:05 | WIP check-in: 192b04097e user: dgp tags: dgp-refactor | |
|
2017-10-02
| ||
| 23:49 | More allocator reworking. check-in: 581c6e914b user: dgp tags: dgp-refactor | |
| 22:01 | WIP check-in: 1323f2b9ac user: dgp tags: dgp-refactor | |
| 19:25 | Allocation refactoring, and sketch of merge operation. check-in: 0b52d64b1d user: dgp tags: dgp-refactor | |
| 18:41 | Avoid making second copy of the same immutable value. check-in: 1b1ff36d81 user: dgp tags: dgp-refactor | |
| 18:25 | API reform. Move all type arguments to be first in the argument list. check-in: 561b441e9d user: dgp tags: dgp-refactor | |
| 16:28 | More refactoring. check-in: 738b6d5e74 user: dgp tags: dgp-refactor | |
| 16:10 | New routine to merge KVLists. Re-implement KVLInsert as call to it; some utility routine refactoring... check-in: a08ce61f17 user: dgp tags: dgp-refactor | |
|
2017-09-26
| ||
| 09:05 | Remove coffbase.txt and all references to it: It's not recommended by Microsoft any more. check-in: 11d0a8e543 user: jan.nijtmans tags: novem | |
|
2017-09-25
| ||
| 01:29 | Add [hamt remove] command and fix more bugs. check-in: e9ad162b01 user: dgp tags: dgp-refactor | |
|
2017-09-24
| ||
| 03:33 | Add the [hamt replace] command. check-in: 10ba393f1e user: dgp tags: dgp-refactor | |
|
2017-09-23
| ||
| 23:14 | more fixes check-in: 60a73184c4 user: dgp tags: dgp-refactor | |
| 20:10 | more bug fixes check-in: 4eb9ff8b9e user: dgp tags: dgp-refactor | |
| 17:13 | Bug fixes. check-in: c12e9164cf user: dgp tags: dgp-refactor | |
| 15:30 | Implement the [hamt create] command. We can start scripting. check-in: f9981a2144 user: dgp tags: dgp-refactor | |
| 14:55 | Complete the "hamt" Tcl_ObjType. check-in: 3984353a09 user: dgp tags: dgp-refactor | |
|
2017-09-22
| ||
| 23:45 | Use iterators to make the UpdateString routine. check-in: b5fef85d14 user: dgp tags: dgp-refactor | |
| 23:18 | Complete the iterator routines. It compiles! Must be good. check-in: a481e78199 user: dgp tags: dgp-refactor | |
| 13:06 | merge novem check-in: 3cf9e70f1d user: dgp tags: dgp-properbytearray | |
| 13:01 | merge novem check-in: b29b5ed6f5 user: dgp tags: dgp-refactor | |
| 08:49 | merge trunk check-in: 3bb43f216a user: jan.nijtmans tags: novem | |
|
2017-09-21
| ||
| 12:02 | WIP check-in: 1c37169922 user: dgp tags: dgp-refactor | |
|
2017-09-20
| ||
| 16:20 | merge novem check-in: 206a729f35 user: dgp tags: dgp-refactor | |
| 16:17 | merge novem check-in: 87f5287964 user: dgp tags: dgp-properbytearray | |
| 09:22 | merge trunk check-in: 52f439bd00 user: jan.nijtmans tags: novem | |
| 09:09 | merge trunk check-in: 6320a360bf user: jan.nijtmans tags: novem | |
|
2017-09-18
| ||
| 14:57 | merge novem check-in: 2dfeeb8429 user: dgp tags: dgp-properbytearray | |
| 14:54 | merge novem check-in: bcaf1b3113 user: dgp tags: dgp-refactor | |
| 14:39 | merge trunk check-in: aac06499fb user: jan.nijtmans tags: novem | |
| 12:54 | merge trunk check-in: c2ee1a2e85 user: jan.nijtmans tags: novem | |
| 12:06 | merge novem check-in: 1ef33883a0 user: dgp tags: dgp-refactor | |
| 12:06 | WIP check-in: f51f5fa799 user: dgp tags: dgp-refactor | |
| 12:00 | merge novem check-in: 1a59ed5a6e user: dgp tags: dgp-properbytearray | |
| 10:07 | Merge trunk check-in: 3cea4fc314 user: jan.nijtmans tags: novem | |
|
2017-09-15
| ||
| 13:36 | merge trunk check-in: f8a598e13a user: jan.nijtmans tags: novem | |
|
2017-09-14
| ||
| 19:22 | WIP check-in: 46a5c64a59 user: dgp tags: dgp-refactor | |
| 14:34 | New Tcl_ObjType WIP. check-in: 28f6f8c7e8 user: dgp tags: dgp-refactor | |
| 14:19 | merge novem check-in: 3b5667b4ff user: dgp tags: dgp-refactor | |
| 14:03 | merge novem check-in: 4c571ea91a user: dgp tags: dgp-properbytearray | |
| 14:02 | merge trunk check-in: 65554137c5 user: dgp tags: novem | |
| 13:17 | merge novem check-in: 0a3ba6dcc3 user: dgp tags: dgp-properbytearray | |
| 08:06 | merge trunk check-in: 02f4b68952 user: jan.nijtmans tags: novem | |
|
2017-09-13
| ||
| 10:42 | Merge trunk check-in: a493ca45ea user: jan.nijtmans tags: novem | |
|
2017-09-11
| ||
| 13:21 | merge novem check-in: a0bd6b43c0 user: jan.nijtmans tags: novem-more-memory-API | |
| 13:06 | merge novem check-in: 17c54399fb user: dgp tags: dgp-refactor | |
| 12:23 | global consts are things compilers are picky about. check-in: e0b9c0e7df user: dgp tags: dgp-refactor | |
| 12:07 | merge novem check-in: 4c2e3516a0 user: dgp tags: dgp-properbytearray | |
| 11:21 | merge trunk check-in: 30418b0549 user: jan.nijtmans tags: novem | |
| 00:12 | It compiles! Ship it! check-in: d959cdad5e user: dgp tags: dgp-refactor | |
|
2017-09-10
| ||
| 19:11 | WIP check-in: 6047938a8b user: dgp tags: dgp-refactor | |
| 13:35 | merge novem check-in: 4fa9cc2903 user: jan.nijtmans tags: novem-more-memory-API | |
|
2017-09-09
| ||
| 16:26 | Merge trunk check-in: 8b29b13280 user: jan.nijtmans tags: novem | |
|
2017-09-08
| ||
| 18:05 | WIP check-in: 79337b43e1 user: dgp tags: dgp-refactor | |
| 17:21 | WIP check-in: 68358ccbd1 user: dgp tags: dgp-refactor | |
| 17:10 | WIP check-in: 43e58b6dc6 user: dgp tags: dgp-refactor | |
| 17:05 | WIP check-in: 8043bdedce user: dgp tags: dgp-refactor | |
| 14:02 | WIP check-in: 977d156621 user: dgp tags: dgp-refactor | |
| 11:45 | WIP check-in: 45ae72da47 user: dgp tags: dgp-refactor | |
| 03:49 | WIP check-in: af8cc4ae35 user: dgp tags: dgp-refactor | |
|
2017-09-07
| ||
| 12:46 | WIP check-in: 17672bd902 user: dgp tags: dgp-refactor | |
| 01:38 | Implementation of persistent, immutable key/value lists. Lifetime management done with refcounts to ... check-in: 91867afcf2 user: dgp tags: dgp-refactor | |
|
2017-09-06
| ||
| 19:27 | WIP check-in: 1f1e0ccf10 user: dgp tags: dgp-refactor | |
|
2017-09-05
| ||
| 12:42 | merge novem check-in: d4d0177ae0 user: dgp tags: dgp-properbytearray | |
| 12:41 | merge novem check-in: 8dfd1f597e user: dgp tags: dgp-refactor | |
|
2017-09-04
| ||
| 14:03 | merge trunk check-in: 55e5374f6b user: jan.nijtmans tags: novem | |
|
2017-09-01
| ||
| 01:29 | merge novem check-in: 6043683920 user: dgp tags: dgp-refactor | |
| 01:11 | merge novem check-in: db2b6d8c00 user: dgp tags: dgp-properbytearray | |
|
2017-08-31
| ||
| 13:57 | merge trunk check-in: 2a52ebe007 user: jan.nijtmans tags: novem | |
| 09:46 | http state 100 continue handling broken [2a94652ee1] check-in: d6bb682808 user: oehhar tags: novem | |
| 08:41 | merge trunk check-in: 2bfc123728 user: jan.nijtmans tags: novem | |
|
2017-08-30
| ||
| 11:49 | merge trunk check-in: 18735f269b user: jan.nijtmans tags: novem | |
|
2017-08-29
| ||
| 09:19 | Merge trunk check-in: f2f6504adb user: jan.nijtmans tags: novem | |
|
2017-08-18
| ||
| 13:44 | merge novem check-in: a87c8c9494 user: dgp tags: dgp-properbytearray | |
| 13:44 | merge novem check-in: d592c0fb4a user: dgp tags: dgp-refactor | |
| 13:23 | merge trunk check-in: f1f87ddc33 user: dgp tags: novem | |
|
2017-08-08
| ||
| 16:41 | Merge novem check-in: aa2d419bfa user: andy tags: dgp-properbytearray | |
| 16:40 | Merge novem check-in: 0f3306d7d6 user: andy tags: dgp-refactor | |
| 16:39 | Merge trunk check-in: aadf195d2c user: andy tags: novem | |
|
2017-08-04
| ||
| 13:26 | merge novem check-in: fc84863621 user: dgp tags: dgp-properbytearray | |
| 13:26 | merge novem check-in: 7d00234e68 user: dgp tags: dgp-refactor | |
| 13:19 | merge trunk check-in: 4b17c28700 user: dgp tags: novem | |
|
2017-07-18
| ||
| 13:46 | merge novem check-in: 80f0997f0b user: dgp tags: dgp-properbytearray | |
| 13:46 | merge novem check-in: 56f00462f4 user: dgp tags: dgp-refactor | |
| 13:34 | merge trunk check-in: 5a7371016e user: dgp tags: novem | |
|
2017-07-06
| ||
| 16:58 | merge novem check-in: 7eb94b8f21 user: dgp tags: dgp-refactor | |
| 16:57 | merge novem check-in: 45d5acda53 user: dgp tags: dgp-properbytearray | |
| 16:52 | merge trunk check-in: 4dc6e2e33e user: dgp tags: novem | |
|
2017-07-03
| ||
| 12:46 | merge trunk check-in: 2cab48c756 user: jan.nijtmans tags: novem | |
| 08:32 | merge trunk check-in: 7067ab8082 user: jan.nijtmans tags: novem | |
|
2017-06-29
| ||
| 11:42 | merge novem check-in: 76a8ebccd9 user: dgp tags: dgp-refactor | |
| 11:38 | merge novem check-in: 28d8f0755f user: dgp tags: dgp-properbytearray | |
|
2017-06-28
| ||
| 13:45 | merge trunk check-in: 6921b83aca user: jan.nijtmans tags: novem | |
|
2017-06-26
| ||
| 20:26 | merge novem check-in: 69f79aa309 user: dgp tags: dgp-refactor | |
| 20:25 | merge novem check-in: a9a65ee225 user: dgp tags: dgp-properbytearray | |
| 20:13 | merge trunk check-in: 80be23dd56 user: dgp tags: novem | |
|
2017-06-23
| ||
| 15:05 | merge trunk check-in: d3b73e481b user: jan.nijtmans tags: novem | |
| 09:14 | Merge trunk (but without %#d format, pending further decision and bug-fixing) check-in: 818930fdcd user: jan.nijtmans tags: novem | |
|
2017-06-22
| ||
| 14:23 | merge novem check-in: e166a5a58b user: dgp tags: dgp-refactor | |
| 13:56 | merge novem check-in: db3d5c1dad user: dgp tags: dgp-properbytearray | |
| 13:41 | merge trunk check-in: 30c71bc195 user: dgp tags: novem | |
|
2017-06-19
| ||
| 18:26 | merge novem check-in: eb8166618c user: dgp tags: dgp-properbytearray | |
| 18:11 | merge novem check-in: 4cc19e9c99 user: dgp tags: dgp-refactor | |
| 18:04 | Silence compiler warning check-in: 29123b010b user: dgp tags: novem | |
| 17:56 | Merge trunk. Improve test http-4.16 in robustness and result utility. check-in: 854cdede26 user: dgp tags: novem | |
|
2017-06-16
| ||
| 21:12 | repair merge check-in: 558669f5e0 user: dgp tags: dgp-properbytearray | |
| 20:41 | merge novem check-in: ec44855767 user: dgp tags: dgp-properbytearray | |
| 20:40 | merge novem check-in: 95b720f9ff user: dgp tags: dgp-refactor | |
| 20:35 | merge trunk check-in: f7688ef8a2 user: dgp tags: novem | |
|
2017-06-09
| ||
| 11:48 | merge novem check-in: f687ce6a36 user: jan.nijtmans tags: novem-more-memory-API | |
| 11:17 | merge trunk check-in: f0e33a9d48 user: jan.nijtmans tags: novem | |
|
2017-06-08
| ||
| 12:59 | merge trunk check-in: 7b30d63181 user: jan.nijtmans tags: novem | |
|
2017-06-06
| ||
| 15:51 | merge trunk check-in: 1ce52fbf89 user: dgp tags: novem | |
| 09:25 | merge trunk check-in: 6c9ae4580b user: jan.nijtmans tags: novem | |
|
2017-06-02
| ||
| 11:08 | merge trunk check-in: 40f592b46d user: jan.nijtmans tags: novem | |
|
2017-05-29
| ||
| 13:16 | merge trunk check-in: 5985b3e0a0 user: jan.nijtmans tags: novem | |
|
2017-05-23
| ||
| 13:10 | merge novem check-in: 2d1c5050f9 user: dgp tags: dgp-refactor | |
| 13:05 | merge novem check-in: 101f1ded72 user: dgp tags: dgp-properbytearray | |
|
2017-05-22
| ||
| 09:17 | merge trunk check-in: 4503acbb4b user: jan.nijtmans tags: novem | |
|
2017-05-19
| ||
| 13:23 | merge novem check-in: dcc42a5168 user: dgp tags: dgp-properbytearray | |
| 13:21 | merge novem check-in: 52ffc34aff user: dgp tags: dgp-refactor | |
| 13:00 | merge trunk check-in: 32225bcff4 user: dgp tags: novem | |
|
2017-05-18
| ||
| 12:36 | merge trunk check-in: 8295a7cc33 user: jan.nijtmans tags: novem | |