Apparently the identifiers interface changed in the past. Trailing
slashes in identifiers result in page compilation errors. On the other
hand they are (no longer?) required.
This patch fixes some compilation errors observed by removing trailing
slashes.
Apparently the identifiers interface changed in the past. Trailing slashes in identifiers result in page compilation errors. On the other hand they are (no longer?) required.
This patch fixes some compilation errors observed by removing trailing slashes.