diff options
| -rwxr-xr-x | sbolint | 7 | 
1 files changed, 4 insertions, 3 deletions
| @@ -813,9 +813,10 @@ sub check_slackdesc {  			} elsif(length($text) && $text !~ /^ /) {  				log_error("slack-desc:$lineno: missing whitespace after colon, on non-blank line");  			} else { -				if($text =~ /\s$/) { -					log_error("slack-desc:$lineno: trailing whitespace on description line"); -				} +				# The world is not ready for this: +				###if($text =~ /\s$/) { +				###	log_error("slack-desc:$lineno: trailing whitespace on description line"); +				###}  				if(length($text) > 71) {  					log_error("slack-desc:$lineno: text too long, %d characters, should be <= 71", length($text));  				} | 
