phunix/1d/cfbcd17383a5c335ef7172dc751771716b632d
Gerrit Code Review a0ebfd7343 Update notes for submitted changes
* Remove support for call profiling
2014-10-03 09:28:47 -04:00

8 lines
262 B
Plaintext

Verified+1: Jenkins
Code-Review+2: Lionel Sambuc <lionel.sambuc@gmail.com>
Submitted-by: David van Moolenbroek <dcvmoole@gmail.com>
Submitted-at: Fri, 03 Oct 2014 09:28:47 -0400
Reviewed-on: http://gerrit.minix3.org/2850
Project: minix
Branch: refs/heads/master