Commit 974d1780e9e90454eca9ffaf4ab91045aa73d2bf
2013-05-26T20:40:12
Merge branch 'micro' into maint * micro: tests: remove an "unworthy" FIXME comment tests: remove one obsolete workaround for long-lifted limitations tests: couple of minor tweaks in demo tests in C++ and Libtool