removing reservations

Matt Hopcroft hopcroft at
Fri Jul 22 17:08:38 PDT 2005


	I've noticed that I can no longer remove reservations once they
have started. This used to be a good way to communicate to other users
that a tool was free. The workaround is to make your reservations in
half-hour chunks instead of selecting the entire period, but this seems
unecessarily tedious. Is this bug or feature? Thanks,

-Matt Hopcroft
hopcroft at

More information about the coral mailing list