T310: capops: Replace num_monitors_online() with num_monitors_ready_for_capops()
[barrelfish] / doc / 020-sockeye /
2015-11-17 Moritz Hoffmannsockeye: update documentation
2015-11-16 Moritz Hoffmannsockeye: documentation, work-in-progress