update aixlog

This commit is contained in:
badaix 2017-09-25 22:09:36 +02:00
parent 9893a79b26
commit 841c105704
4 changed files with 4 additions and 4 deletions

2
externals/aixlog vendored

@ -1 +1 @@
Subproject commit 9c2c1419170dc07807724b8faa5bc73909aa7f57
Subproject commit 9ecd25432f66f8a8cf291a9a5bae4fd137300af7

2
externals/popl vendored

@ -1 +1 @@
Subproject commit b46b8dde2317c0d32e098f6945f0ba988c6a67f2
Subproject commit c0f309405f084baabf23e8c8b0b4b73b620d831c