David Goulet 53ece8bd23 Merge branch 'maint-0.4.1' into release-0.4.1

2019-07-25 10:27:41 -04:00

..

.dummy

…

bug31024

Always check the retval of circpad_machine_current_state().

2019-07-25 10:24:23 -04:00

bug31027

Remove dead code from circpad_machine_remove_token().

2019-07-25 10:24:19 -04:00

bug31080_041

Use a 64-bit mask for log domains, and fix a conflict

2019-07-08 13:32:45 -04:00