dfa8a701c2b6d93ee0fd10d5137113937a0a61f4		branch 'develop' of https://github.com/xmos/lib_random
f71ef287fe1732365400b557ef7ae427841df27f		branch 'master' of https://github.com/xmos/lib_random
6e4faee877784eb3401a828de2234e6f8319f174	not-for-merge	tag 'v1.1.0' of https://github.com/xmos/lib_random
24b08fa43e4de8c4fe28d055e2512e7aa0f2eb9f	not-for-merge	tag 'v1.2.0' of https://github.com/xmos/lib_random
f71ef287fe1732365400b557ef7ae427841df27f	not-for-merge	tag 'v1.3.0' of https://github.com/xmos/lib_random
